diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 12:37:21 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-06-20 12:37:21 +0000 |
| commit | be0abd84be7c1832f22c03296b129c82935f63c1 (patch) | |
| tree | 919fca1f23b338d7bc2d90005351727a3a9fe5ec /app-emacs/proofgeneral | |
| parent | Removing "futexes" from the DESCRIPTION since the kernel doesn't seem to cont... (diff) | |
| download | gentoo-2-be0abd84be7c1832f22c03296b129c82935f63c1.tar.gz gentoo-2-be0abd84be7c1832f22c03296b129c82935f63c1.tar.bz2 gentoo-2-be0abd84be7c1832f22c03296b129c82935f63c1.zip | |
Move to stable on x86 and ppc. (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 a3d61b6c33a3..3383b11c3479 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,5 @@ -MD5 d9874b1630d49c16d6bcc7de42bf6c5f ChangeLog 681 +MD5 dc7c253c4ce7533fba69bac89451ae0c ChangeLog 776 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 0f9b58c7fc1b44abd3332087a7430471 proofgeneral-3.4.ebuild 1285 +MD5 4431c49b3486e12a19f66fdc4ebb8bf1 proofgeneral-3.4.ebuild 1275 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 |