diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2017-11-26 10:39:46 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2017-11-26 10:39:46 +0100 |
| commit | 941d94a7e56b6927701e6961fabfe7fc04d162f5 (patch) | |
| tree | dd21989354a53cd177c5c47cfa779c57a8df9957 /app-emacs/proofgeneral | |
| parent | app-editors: Update Manifest files. (diff) | |
| download | gentoo-941d94a7e56b6927701e6961fabfe7fc04d162f5.tar.gz gentoo-941d94a7e56b6927701e6961fabfe7fc04d162f5.tar.bz2 gentoo-941d94a7e56b6927701e6961fabfe7fc04d162f5.zip | |
app-emacs: Update all Manifest files.
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 3789e04d25cb..60a383039cc2 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1 +1 @@ -DIST ProofGeneral-4.2.tgz 1613190 SHA256 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab WHIRLPOOL 9c4e54cf3b1528ee6cbdfac19b0c589f0c2640defbac15d5aaf0a1bfd64680bff45d2faa17f669210f47f30debb768d593590d350acac9c2669d24dc109bb4d8 +DIST ProofGeneral-4.2.tgz 1613190 BLAKE2B e12913d67f95b20d99d5bdaa82a36f0dd2b664441a86dc86cb4f8afaac2379691c01e60cfe6af3bbf177f0dc2f82ce34ea4d706ee34c2d5986de3f807ce05045 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab |