diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:13:33 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:13:33 +0000 |
| commit | 111ea77efccba867a6e4e248d81c4f1fe8131b4f (patch) | |
| tree | eb283e62e4097110094ffe21f071a1b940feb330 /math/proofgeneral/distinfo | |
| parent | dd06f492078dfc8155802817bb01099ab58bd0cb (diff) | |
| download | ports-111ea77efccba867a6e4e248d81c4f1fe8131b4f.tar.gz ports-111ea77efccba867a6e4e248d81c4f1fe8131b4f.zip | |
Notes
Diffstat (limited to 'math/proofgeneral/distinfo')
| -rw-r--r-- | math/proofgeneral/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo index d613033d5c92..011164ebed1b 100644 --- a/math/proofgeneral/distinfo +++ b/math/proofgeneral/distinfo @@ -1,3 +1,3 @@ -MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb -SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5 -SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638 +MD5 (ProofGeneral-3.7.tgz) = 87c546b914a08dfe014ef55af3e9f92f +SHA256 (ProofGeneral-3.7.tgz) = 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e +SIZE (ProofGeneral-3.7.tgz) = 1981651 |