diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2019-09-05 16:37:29 +0200 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2019-09-05 17:05:08 +0200 |
| commit | 0cc699e224d4923fdb05ee14d73c20dd0b09afe4 (patch) | |
| tree | 55f37f7b92ecf1d25ee1f28f3a1bdceaac938f3c /app-emacs/proofgeneral/Manifest | |
| parent | app-emacs/mmm-mode: Bump to version 0.5.7. (diff) | |
| download | gentoo-0cc699e224d4923fdb05ee14d73c20dd0b09afe4.tar.gz gentoo-0cc699e224d4923fdb05ee14d73c20dd0b09afe4.tar.bz2 gentoo-0cc699e224d4923fdb05ee14d73c20dd0b09afe4.zip | |
app-emacs/proofgeneral: Bump to version 4.4.
Package-Manager: Portage-2.3.75, Repoman-2.3.17
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 60a383039cc2..29da9a184a2e 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1 +1,2 @@ DIST ProofGeneral-4.2.tgz 1613190 BLAKE2B e12913d67f95b20d99d5bdaa82a36f0dd2b664441a86dc86cb4f8afaac2379691c01e60cfe6af3bbf177f0dc2f82ce34ea4d706ee34c2d5986de3f807ce05045 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab +DIST proofgeneral-4.4.tar.gz 14105056 BLAKE2B 8d45218cde620411d14ab3c703fea37f0482c0e1f6fc8d104b4de7506140d4d0491b5e23ddbf458bfa3aeb683b71f6e4deea31c2a46b902342fc686c2945162a SHA512 8be7f78b61a225fa4770698bbbb251424a0afe093efc3229f74f3a764317dc8cc00a72cb29e751f755dc5fdab59983906c9185f7828a1644a87d160265f12061 |