summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAron Griffis <agriffis@gentoo.org>2004-06-24 22:24:29 +0000
committerAron Griffis <agriffis@gentoo.org>2004-06-24 22:24:29 +0000
commit464953498cd5a397dc81298c2b8d8d8ab9db9e24 (patch)
tree74142aff9d24a81d04fdf54b6f860d9a404543e7 /app-emacs/proofgeneral/Manifest
parentupdate copyright line: Gentoo Technologies => Gentoo Foundation (diff)
downloadgentoo-2-464953498cd5a397dc81298c2b8d8d8ab9db9e24.tar.gz
gentoo-2-464953498cd5a397dc81298c2b8d8d8ab9db9e24.tar.bz2
gentoo-2-464953498cd5a397dc81298c2b8d8d8ab9db9e24.zip
(Manifest recommit)
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
-rw-r--r--app-emacs/proofgeneral/Manifest8
1 files changed, 4 insertions, 4 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index 844162d9f545..61c9a1f291ce 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -1,7 +1,7 @@
-MD5 0ac69bc707aede178cd203c75cea0d32 ChangeLog 973
+MD5 d5967b97d39adc1f57df9cf08b4bd078 proofgeneral-3.5.ebuild 1327
+MD5 15b1f675cebf45a18ad9f9cee9aad5f5 proofgeneral-3.4.ebuild 1269
+MD5 452ea2284c6592856ec7dd06ba748489 ChangeLog 967
MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
-MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275
-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
+MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150