mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
111ea77efc
PR: ports/120987 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
4 lines
197 B
Plaintext
4 lines
197 B
Plaintext
MD5 (ProofGeneral-3.7.tgz) = 87c546b914a08dfe014ef55af3e9f92f
|
|
SHA256 (ProofGeneral-3.7.tgz) = 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
|
|
SIZE (ProofGeneral-3.7.tgz) = 1981651
|