openbsd-ports/math/coq/distinfo
chrisz 0039808155 Update to 8.4pl1 by Daniel Dickman <didickman@gmail.com>
OK by Daniel, avsm@, Yozo TODA (maintainer) and jasper@
2013-02-07 09:43:15 +00:00

3 lines
109 B
Plaintext

SHA256 (coq-8.4pl1.tar.gz) = XQ5FU6tQZ3qUtNXKFlCpBxjpNiCCpkm6lb5AEDkKD4A=
SIZE (coq-8.4pl1.tar.gz) = 4139808