diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-04 10:36:48 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-04 11:29:47 +0100 |
| commit | 592a0cb6cef0eed1ec360e0fda4150da28e8192a (patch) | |
| tree | c51313fbf4369dcbb720822ee920e7a7a7c67019 /app-emacs/proofgeneral/Manifest | |
| parent | profiles: Use ~ in app-editors/emacs-28* package mask, drop slot (diff) | |
| download | gentoo-592a0cb6cef0eed1ec360e0fda4150da28e8192a.tar.gz gentoo-592a0cb6cef0eed1ec360e0fda4150da28e8192a.tar.bz2 gentoo-592a0cb6cef0eed1ec360e0fda4150da28e8192a.zip | |
app-emacs/proofgeneral: bump to 4.5_pre20220228 (2022.02.28 snapshot)
Package-Manager: Portage-3.0.30, Repoman-3.0.3
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, 1 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index b9395d6adccb..d64eec430f78 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1 +1,2 @@ DIST proofgeneral-4.4.tar.gz 14105056 BLAKE2B 8d45218cde620411d14ab3c703fea37f0482c0e1f6fc8d104b4de7506140d4d0491b5e23ddbf458bfa3aeb683b71f6e4deea31c2a46b902342fc686c2945162a SHA512 8be7f78b61a225fa4770698bbbb251424a0afe093efc3229f74f3a764317dc8cc00a72cb29e751f755dc5fdab59983906c9185f7828a1644a87d160265f12061 +DIST proofgeneral-4.5_pre20220228.tar.gz 1195172 BLAKE2B fe128039d35a46035e3d266871e558e5a65879b04f979d32bd835842683b23645fdcaf2bbe88b62ead675fc7553f83a145a44b926cacf2ef75d8cd0276ea693b SHA512 630f869f8dee90cecd8b61f011d4d8b87681f153f82d8ceda062c234702c098ef9e90cb07590e2c33849103495f84529763084367d68712fe4672ac2f62c7fca |