From 64ce56ce3488d113141739718c72e670f7d076ba Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Sun, 20 Jun 2004 13:15:24 +0000 Subject: Version bump, needs test as we use the packages own Makefile now. (Manifest recommit) --- app-emacs/proofgeneral/Manifest | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'app-emacs/proofgeneral') diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 99b52a47b0a5..844162d9f545 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,7 +1,7 @@ -MD5 dc7c253c4ce7533fba69bac89451ae0c ChangeLog 776 +MD5 0ac69bc707aede178cd203c75cea0d32 ChangeLog 973 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275 -MD5 2eb1d425796245f5b86bd3ea11a9fc1e proofgeneral-3.5.ebuild 1284 +MD5 02195fadaf8290e87a62e877d82a991b proofgeneral-3.5.ebuild 1333 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 -- cgit v1.2.3-65-gdbad