freebsd-ports/math/coq/distinfo

MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79
SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b
SIZE (coq-8.0pl2.tar.gz) = 2285855
Update to 8.0p2 PR: ports/76977 Submitted by: Rene Laden (maintainer) 2005-02-02 12:34:42 +01:00			`MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79`
- Add SHA256 2005-11-25 16:48:16 +01:00			`SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b`
Update to 8.0p2 PR: ports/76977 Submitted by: Rene Laden (maintainer) 2005-02-02 12:34:42 +01:00			`SIZE (coq-8.0pl2.tar.gz) = 2285855`