diff options
Diffstat (limited to 'app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1')
| -rw-r--r-- | app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 new file mode 100644 index 000000000000..87248b064c1a --- /dev/null +++ b/app-emacs/proofgeneral/files/digest-proofgeneral-3.5-r1 @@ -0,0 +1,3 @@ +MD5 2114f0ead1cb0b4c6be992aa7bf1529c ProofGeneral-3.5.tar.gz 1799956 +RMD160 08025f894cecc04b50003aee28270001eea5d198 ProofGeneral-3.5.tar.gz 1799956 +SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b ProofGeneral-3.5.tar.gz 1799956 |