diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 13:15:13 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 13:15:13 +0000 |
| commit | 5bc2c33439b51a13b7bdca11f60801ae20b5a2cb (patch) | |
| tree | 42f9bc00efebd408f41f36b0917aa2c2832ec5ad /app-emacs/proofgeneral/Manifest | |
| parent | Added a linux/pid.h fix to the 2.6.7 appCompat patch so gpm compiles. (Manife... (diff) | |
| download | gentoo-2-5bc2c33439b51a13b7bdca11f60801ae20b5a2cb.tar.gz gentoo-2-5bc2c33439b51a13b7bdca11f60801ae20b5a2cb.tar.bz2 gentoo-2-5bc2c33439b51a13b7bdca11f60801ae20b5a2cb.zip | |
Version bump, needs test as we use the packages own Makefile now.
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 3383b11c3479..99b52a47b0a5 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,7 @@ MD5 dc7c253c4ce7533fba69bac89451ae0c ChangeLog 776 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275 +MD5 2eb1d425796245f5b86bd3ea11a9fc1e proofgeneral-3.5.ebuild 1284 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 +MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 |