MD5 (coq/Changes.html) = +miJ2r3Id+Pc9VXOFTjODQ==
MD5 (coq/RecTutorial.v.ps) = sOP2j6Mm5kysVp+bDaCYoQ==
MD5 (coq/Reference-Manual-all.ps.gz) = 65ec0L22aVbp4apWWEHGwg==
MD5 (coq/coq-7.3.1.tar.gz) = u0A0YLtR3oBgW3nfoE/oBw==
MD5 (coq/doc-html-20040711.tar.gz) = CcNnA8oVupm/f0+0OAIkyQ==
MD5 (coq/library.tar.gz) = 30TtwBeMZD4Pf55fi0rLRA==
MD5 (coq/patch-coq-7.3.1-ocaml-3.07) = HXQeVH55aQ8acK3b8OEB0g==
RMD160 (coq/Changes.html) = jQ3R6ZV2c+++OhY4+NdibYQMx5I=
RMD160 (coq/RecTutorial.v.ps) = vMiWe/zy3w5LNnGikYGJ7Wi9oiU=
RMD160 (coq/Reference-Manual-all.ps.gz) = /Nq/vpHUoBpbQqfQKBfnR1n3AuY=
RMD160 (coq/coq-7.3.1.tar.gz) = oQSjeOJ/5gWr4wJQjxKULpRgzC8=
RMD160 (coq/doc-html-20040711.tar.gz) = RzcaXBfpQmZwexjdSS9H1OThzf4=
RMD160 (coq/library.tar.gz) = 8emthVwnuxpQRYZ9+bobVlU0cO0=
RMD160 (coq/patch-coq-7.3.1-ocaml-3.07) = Omtp2dsQgz5yJMpc4buIAgAxz48=
SHA1 (coq/Changes.html) = /j44sSpsrhQd4nxG6eHLFpmckPo=
SHA1 (coq/RecTutorial.v.ps) = GPTQIqoAZbqzUG+aeeYm1qjKz9Q=
SHA1 (coq/Reference-Manual-all.ps.gz) = F72cufugFXjep8Avwr7AdoChLHw=
SHA1 (coq/coq-7.3.1.tar.gz) = hWJ+WuMfgKn3sd/Y0lc7/U6+KHE=
SHA1 (coq/doc-html-20040711.tar.gz) = hMbkQhZD0IPQr5lydvH0vB+egnc=
SHA1 (coq/library.tar.gz) = jcvFlrvNsxhswk9ZmcQ4ciJuykw=
SHA1 (coq/patch-coq-7.3.1-ocaml-3.07) = ABGEvcbzn8Xt/yvw87J0VKIbheE=
SHA256 (coq/Changes.html) = WMrFojl8y2nw3COeqwrKhhvDql7Rl3lVtmVzSbMAQu0=
SHA256 (coq/RecTutorial.v.ps) = FQw8jMRBArgODWNMQ7l/F6Ptxz3zYTaJ8itDxuOb5Fc=
SHA256 (coq/Reference-Manual-all.ps.gz) = l6f/3ktcgqa9LNvmGgwqpFdP2H4DJJwpP1VGmTWrhFM=
SHA256 (coq/coq-7.3.1.tar.gz) = 8krB1GN8qdQ8L2/Jar/RePyUGVLfHTkWAqNnhPrsCPU=
SHA256 (coq/doc-html-20040711.tar.gz) = mG7IaXjlc9p7SRkA/J8kNkSzBWHN3wnxxlP50ErJNhw=
SHA256 (coq/library.tar.gz) = Z0pmWw8mEIjWkXvg4Q4Txh32NQz8GpocmPpmcpcsaWE=
SHA256 (coq/patch-coq-7.3.1-ocaml-3.07) = /u/Ey4rbIjhu7rJIUEBFM7VxVPYZGmta4blzcSxn1f8=
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