diff options
Diffstat (limited to 'math/proofgeneral/distinfo')
| -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 |