MD5 (coq/all-ps-docs.tar.gz) = 1bdcea2bf45707c8d542c5cdcd2dbbf6
MD5 (coq/coq-7.0.tar.gz) = d0ac03af950acd27b3313043e5aa3587
MD5 (coq/doc-html.tar.gz) = 802b110114e54068b502f37c8156cdf2
RMD160 (coq/all-ps-docs.tar.gz) = c3aa484984949eaf0fd5aa5c1e7087aee6900dad
RMD160 (coq/coq-7.0.tar.gz) = d3139881574f83935292e71014d1c54c260c1787
RMD160 (coq/doc-html.tar.gz) = 75df7f07af08c97c0cb4286ccfb03d656e3d3c08
SHA1 (coq/all-ps-docs.tar.gz) = 693187982509dec281d9d9cd028d78e812d30cf2
SHA1 (coq/coq-7.0.tar.gz) = e550d2cc92df0813c2f16c151ab3eae6c2c6acb6
SHA1 (coq/doc-html.tar.gz) = 3cfbcc6756cc9b30451cef07094a3c1f8a2cb7bf