MD5 (coq/Changes.html) = fa6889dabdc877e3dcf555ce1538ce0d
MD5 (coq/RecTutorial.v.ps) = b0e3f68fa326e64cac569f9b0da098a1
MD5 (coq/Reference-Manual-all.ps.gz) = eb979cd0bdb66956e9e1aa565841c6c2
MD5 (coq/coq-7.3.1.tar.gz) = bb403460bb51de80605b79dfa04fe807
MD5 (coq/doc-html-20040711.tar.gz) = 09c36703ca15ba99bf7f4fb4380224c9
MD5 (coq/library.tar.gz) = df44edc0178c643e0f7f9e5f8b4acb44
MD5 (coq/patch-coq-7.3.1-ocaml-3.07) = 1d741e547e79690f1a70addbf0e101d2
RMD160 (coq/Changes.html) = 8d0dd1e9957673efbe3a1638f8d7626d840cc792
RMD160 (coq/RecTutorial.v.ps) = bcc8967bfcf2df0e4b3671a2918189ed68bda225
RMD160 (coq/Reference-Manual-all.ps.gz) = fcdabfbe91d4a01a5b42a7d02817e74759f702e6
RMD160 (coq/coq-7.3.1.tar.gz) = a104a378e27fe605abe302508f12942e9460cc2f
RMD160 (coq/doc-html-20040711.tar.gz) = 47371a5c17e94266707b18dd492f47d4e4e1cdfe
RMD160 (coq/library.tar.gz) = f1e9ad855c27bb1a5045867df9ba1b56553470ed
RMD160 (coq/patch-coq-7.3.1-ocaml-3.07) = 3a6b69d9db10833e7224ca5ce1bb88020031cf8f
SHA1 (coq/Changes.html) = fe3e38b12a6cae141de27c46e9e1cb16999c90fa
SHA1 (coq/RecTutorial.v.ps) = 18f4d022aa0065bab3506f9a79e626d6a8cacfd4
SHA1 (coq/Reference-Manual-all.ps.gz) = 17bd9cb9fba01578dea7c02fc2bec07680a12c7c
SHA1 (coq/coq-7.3.1.tar.gz) = 85627e5ae31f80a9f7b1dfd8d2573bfd4ebe2871
SHA1 (coq/doc-html-20040711.tar.gz) = 84c6e4421643d083d0af997276f1f4bc1f9e8277
SHA1 (coq/library.tar.gz) = 8dcbc596bbcdb3186cc24f5999c43872226eca4c
SHA1 (coq/patch-coq-7.3.1-ocaml-3.07) = 001184bdc6f39fc5edff2bf0f3b27454a21b85e1
SIZE (coq/Changes.html) = 5018
SIZE (coq/RecTutorial.v.ps) = 562794
SIZE (coq/Reference-Manual-all.ps.gz) = 375587
SIZE (coq/coq-7.3.1.tar.gz) = 1233035
SIZE (coq/doc-html-20040711.tar.gz) = 254431
SIZE (coq/library.tar.gz) = 441013
SIZE (coq/patch-coq-7.3.1-ocaml-3.07) = 8950