1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-09 06:51:44 +00:00
freebsd-ports/math/proofgeneral/distinfo
Simon Barner f6925bfda8 Add proofgeneral 3.5, a generic interface for proof assistants.
PR:		84788
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2005-08-31 10:36:36 +00:00

3 lines
106 B
Plaintext

MD5 (ProofGeneral-3.5.tar.gz) = 2114f0ead1cb0b4c6be992aa7bf1529c
SIZE (ProofGeneral-3.5.tar.gz) = 1799956