2007-04-05 12:19:55 -04:00
|
|
|
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=
|
2005-01-05 12:05:00 -05:00
|
|
|
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
|
