diff options
Diffstat (limited to 'math/proofgeneral/distinfo')
| -rw-r--r-- | math/proofgeneral/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/proofgeneral/distinfo b/math/proofgeneral/distinfo new file mode 100644 index 000000000..d613033d5 --- /dev/null +++ b/math/proofgeneral/distinfo @@ -0,0 +1,3 @@ +MD5 (ProofGeneral-3.6pre061107.tar.gz) = 679dc2c9951f305959420e7514416dcb +SHA256 (ProofGeneral-3.6pre061107.tar.gz) = c3c2877e0c4c823b48129e3abaa1ca2e82581664999a9f140cdda89086f32fb5 +SIZE (ProofGeneral-3.6pre061107.tar.gz) = 1906638 |