From 7831d671492a692010c1278694613fa9bed510b6 Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Fri, 11 Aug 2023 18:31:15 +0200 Subject: app-emacs/proofgeneral: drop old 4.5_pre20220228 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- app-emacs/proofgeneral/Manifest | 1 - 1 file changed, 1 deletion(-) (limited to 'app-emacs/proofgeneral/Manifest') diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 36bd720f4ef6..1f4f7e2da28c 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,2 +1 @@ DIST proofgeneral-4.5.tar.gz 1198535 BLAKE2B 24f93200d01752fb358ac88531b4b34392b7b968c7dbd7a7b3dcedfe71fa985ca893465bff503e3fc0efd267faeb3f5d8bd3d35f68847a4c90252e3a0bdd456b SHA512 ab2eed43053e3b6749e840a8d742058eaa91bfff7edbe12ea67bc492ffab07e1d77cf6a7772cb8c42ac73cae2cce65b48898b1cd10a77b906089768f8055b366 -DIST proofgeneral-4.5_pre20220228.tar.gz 1195172 BLAKE2B fe128039d35a46035e3d266871e558e5a65879b04f979d32bd835842683b23645fdcaf2bbe88b62ead675fc7553f83a145a44b926cacf2ef75d8cd0276ea693b SHA512 630f869f8dee90cecd8b61f011d4d8b87681f153f82d8ceda062c234702c098ef9e90cb07590e2c33849103495f84529763084367d68712fe4672ac2f62c7fca -- cgit v1.2.3-65-gdbad