diff options
| author | edwin <edwin@FreeBSD.org> | 2006-01-22 20:59:47 +0800 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2006-01-22 20:59:47 +0800 |
| commit | 6716ac831109769b08e100b10ad2a14c2c9cdf31 (patch) | |
| tree | d68c0f2026ec5ce5d9b6f4e2d304a161644db783 /math/proofgeneral | |
| parent | c6325f63eae960aea108b46ffa92b29b6345c6b3 (diff) | |
| download | freebsd-ports-gnome-6716ac831109769b08e100b10ad2a14c2c9cdf31.tar.gz freebsd-ports-gnome-6716ac831109769b08e100b10ad2a14c2c9cdf31.tar.zst freebsd-ports-gnome-6716ac831109769b08e100b10ad2a14c2c9cdf31.zip | |
SHA256ify
Approved by: krion@
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 |