diff options
| author |   Olivier Crête <tester@gentoo.org> | 2005-08-28 02:25:00 +0000 |
|---|---|---|
| committer | Olivier Crête <tester@gentoo.org> | 2005-08-28 02:25:00 +0000 |
| commit | 4945c16fc353b7bb75c50d25ff47622934234e17 (patch) | |
| tree | 77e42da81f09143f656b4f373bcb1b347a512b9d /app-emacs/proofgeneral/Manifest | |
| parent | Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing (diff) | |
| download | gentoo-2-4945c16fc353b7bb75c50d25ff47622934234e17.tar.gz gentoo-2-4945c16fc353b7bb75c50d25ff47622934234e17.tar.bz2 gentoo-2-4945c16fc353b7bb75c50d25ff47622934234e17.zip | |
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
(Portage version: 2.0.51.22-r2)
(Unsigned Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 1eadeda595a6..7a8f2b907c11 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,5 @@ -MD5 5c2f169bb89f0aeeb9a9b60c7195ee4e ChangeLog 1116 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 64e4d9a854734063d638228f24240bfc proofgeneral-3.5.ebuild 1327 -MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 +MD5 71ecc80445470ecbd2923f9dac6000ad ChangeLog 1260 +MD5 a36a54b7db92006846606d91975be649 proofgeneral-3.5.ebuild 1330 MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 +MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 |