1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-22 04:17:44 +00:00
freebsd-ports/math/proofgeneral/distinfo
Edwin Groothuis 6f2b571e98 [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
PR:		ports/126066
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2008-08-15 01:03:23 +00:00

4 lines
203 B
Plaintext

MD5 (ProofGeneral-3.7.1.tgz) = eebfff672b5941823fe893075316b02e
SHA256 (ProofGeneral-3.7.1.tgz) = e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
SIZE (ProofGeneral-3.7.1.tgz) = 2023176