openbsd-ports/math/coq/distinfo

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
Import of coq 7.0. Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>. The Coq Proof Assistant is designed to write formal specifications, programs and to verify that programs are correct with respect to their specification. 2001-09-22 10:24:31 -04:00			`MD5 (coq/all-ps-docs.tar.gz) = 1bdcea2bf45707c8d542c5cdcd2dbbf6`
Update maintainer's email address, remove a dead master site. from Yozo TODA <yozo@v007.vaio.ne.jp> 2002-01-31 15:41:38 -05:00			`MD5 (coq/coq-7.0.tar.gz) = d0ac03af950acd27b3313043e5aa3587`
Import of coq 7.0. Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>. The Coq Proof Assistant is designed to write formal specifications, programs and to verify that programs are correct with respect to their specification. 2001-09-22 10:24:31 -04:00			`MD5 (coq/doc-html.tar.gz) = 802b110114e54068b502f37c8156cdf2`
			`RMD160 (coq/all-ps-docs.tar.gz) = c3aa484984949eaf0fd5aa5c1e7087aee6900dad`
Update maintainer's email address, remove a dead master site. from Yozo TODA <yozo@v007.vaio.ne.jp> 2002-01-31 15:41:38 -05:00			`RMD160 (coq/coq-7.0.tar.gz) = d3139881574f83935292e71014d1c54c260c1787`
Import of coq 7.0. Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>. The Coq Proof Assistant is designed to write formal specifications, programs and to verify that programs are correct with respect to their specification. 2001-09-22 10:24:31 -04:00			`RMD160 (coq/doc-html.tar.gz) = 75df7f07af08c97c0cb4286ccfb03d656e3d3c08`
			`SHA1 (coq/all-ps-docs.tar.gz) = 693187982509dec281d9d9cd028d78e812d30cf2`
Update maintainer's email address, remove a dead master site. from Yozo TODA <yozo@v007.vaio.ne.jp> 2002-01-31 15:41:38 -05:00			`SHA1 (coq/coq-7.0.tar.gz) = e550d2cc92df0813c2f16c151ab3eae6c2c6acb6`
Import of coq 7.0. Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>. The Coq Proof Assistant is designed to write formal specifications, programs and to verify that programs are correct with respect to their specification. 2001-09-22 10:24:31 -04:00			`SHA1 (coq/doc-html.tar.gz) = 3cfbcc6756cc9b30451cef07094a3c1f8a2cb7bf`