diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-10-09 14:08:33 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-10-09 14:08:33 +0000 |
| commit | e563c039bf1dc67fb2046ce057adf74443daffdb (patch) | |
| tree | 485d8cfb19c552d9a7f7533e61cfc0f6c386e704 /app-emacs/proofgeneral/Manifest | |
| parent | Move 3.5 to stable, remove old version. (diff) | |
| download | gentoo-2-e563c039bf1dc67fb2046ce057adf74443daffdb.tar.gz gentoo-2-e563c039bf1dc67fb2046ce057adf74443daffdb.tar.bz2 gentoo-2-e563c039bf1dc67fb2046ce057adf74443daffdb.zip | |
Move 3.5 to stable, remove old version. (Manifest recommit)
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 61c9a1f291ce..4559bb068710 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,7 +1,5 @@ -MD5 d5967b97d39adc1f57df9cf08b4bd078 proofgeneral-3.5.ebuild 1327 -MD5 15b1f675cebf45a18ad9f9cee9aad5f5 proofgeneral-3.4.ebuild 1269 -MD5 452ea2284c6592856ec7dd06ba748489 ChangeLog 967 +MD5 9ebc0bb952e5df2ec1e1df12cd80b791 proofgeneral-3.5.ebuild 1323 +MD5 e0ec711d48c9d9ba749eae16f7377491 ChangeLog 1112 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 |