diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-08-11 18:31:11 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-08-11 18:41:46 +0200 |
| commit | d6b2302a1603939a6f795ca48a4be4702f4d90e4 (patch) | |
| tree | 30a12d53a48743f3c054abf69bd24b47c8a3f8a8 /app-emacs/proofgeneral/Manifest | |
| parent | app-emacs/php-mode: drop old 1.24.2 (diff) | |
| download | gentoo-d6b2302a1603939a6f795ca48a4be4702f4d90e4.tar.gz gentoo-d6b2302a1603939a6f795ca48a4be4702f4d90e4.tar.bz2 gentoo-d6b2302a1603939a6f795ca48a4be4702f4d90e4.zip | |
app-emacs/proofgeneral: drop old 4.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 4732338ccefc..36bd720f4ef6 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,3 +1,2 @@ -DIST proofgeneral-4.4.tar.gz 14105056 BLAKE2B 8d45218cde620411d14ab3c703fea37f0482c0e1f6fc8d104b4de7506140d4d0491b5e23ddbf458bfa3aeb683b71f6e4deea31c2a46b902342fc686c2945162a SHA512 8be7f78b61a225fa4770698bbbb251424a0afe093efc3229f74f3a764317dc8cc00a72cb29e751f755dc5fdab59983906c9185f7828a1644a87d160265f12061 DIST proofgeneral-4.5.tar.gz 1198535 BLAKE2B 24f93200d01752fb358ac88531b4b34392b7b968c7dbd7a7b3dcedfe71fa985ca893465bff503e3fc0efd267faeb3f5d8bd3d35f68847a4c90252e3a0bdd456b SHA512 ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366 DIST proofgeneral-4.5_pre20220228.tar.gz 1195172 BLAKE2B fe128039d35a46035e3d266871e558e5a65879b04f979d32bd835842683b23645fdcaf2bbe88b62ead675fc7553f83a145a44b926cacf2ef75d8cd0276ea693b SHA512 630f869f8dee90cecd8b61f011d4d8b87681f153f82d8ceda062c234702c098ef9e90cb07590e2c33849103495f84529763084367d68712fe4672ac2f62c7fca |