diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-22 12:59:47 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-22 12:59:47 +0000 |
| commit | 53354e7e9c160c3de9909b8da012653a3246e2b1 (patch) | |
| tree | 82985baab97763ca1571bb28a3b55a5766f2cc96 /math/proofgeneral | |
| parent | 80840e8dc5230ae0c6b808959b51b5dadde30c58 (diff) | |
| download | ports-53354e7e9c160c3de9909b8da012653a3246e2b1.tar.gz ports-53354e7e9c160c3de9909b8da012653a3246e2b1.zip | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo index a87c3fd249f2..0a1408093eae 100644 --- a/math/proofgeneral/distinfo +++ b/math/proofgeneral/distinfo @@ -1,2 +1,3 @@ MD5 (ProofGeneral-3.5.tar.gz) = 2114f0ead1cb0b4c6be992aa7bf1529c +SHA256 (ProofGeneral-3.5.tar.gz) = 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b SIZE (ProofGeneral-3.5.tar.gz) = 1799956 |