diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 13:15:24 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 13:15:24 +0000 |
| commit | 64ce56ce3488d113141739718c72e670f7d076ba (patch) | |
| tree | b9254a1ec4a8159cc56c85d88144d0a4fca4bf3e /app-emacs/proofgeneral | |
| parent | Version bump, needs test as we use the packages own Makefile now. (diff) | |
| download | gentoo-2-64ce56ce3488d113141739718c72e670f7d076ba.tar.gz gentoo-2-64ce56ce3488d113141739718c72e670f7d076ba.tar.bz2 gentoo-2-64ce56ce3488d113141739718c72e670f7d076ba.zip | |
Version bump, needs test as we use the packages own Makefile now. (Manifest recommit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
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 |