gentoo-ebuilds/app-emacs/proofgeneral/Manifest
Maciej Barć 7831d67149
app-emacs/proofgeneral: drop old 4.5_pre20220228
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-08-11 18:41:46 +02:00

1 line
310 B
Text

DIST proofgeneral-4.5.tar.gz 1198535 BLAKE2B 24f93200d01752fb358ac88531b4b34392b7b968c7dbd7a7b3dcedfe71fa985ca893465bff503e3fc0efd267faeb3f5d8bd3d35f68847a4c90252e3a0bdd456b SHA512 ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366