diff options
| author |   Jeremy Huddleston <eradicator@gentoo.org> | 2005-01-01 13:59:47 +0000 |
|---|---|---|
| committer | Jeremy Huddleston <eradicator@gentoo.org> | 2005-01-01 13:59:47 +0000 |
| commit | d50eaecd81612a3d8ab26e49119b5b849dfd0ebf (patch) | |
| tree | 2d0e13cb21cc7599c28e9d69e18d4cd51389d2ad /app-emacs/proofgeneral | |
| parent | Updated Copyright dates to 2005. (diff) | |
| download | gentoo-2-d50eaecd81612a3d8ab26e49119b5b849dfd0ebf.tar.gz gentoo-2-d50eaecd81612a3d8ab26e49119b5b849dfd0ebf.tar.bz2 gentoo-2-d50eaecd81612a3d8ab26e49119b5b849dfd0ebf.zip | |
Updated Copyright dates to 2005. (Manifest recommit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -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 4559bb068710..1eadeda595a6 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,5 @@ -MD5 9ebc0bb952e5df2ec1e1df12cd80b791 proofgeneral-3.5.ebuild 1323 -MD5 e0ec711d48c9d9ba749eae16f7377491 ChangeLog 1112 +MD5 5c2f169bb89f0aeeb9a9b60c7195ee4e ChangeLog 1116 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 -MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 +MD5 64e4d9a854734063d638228f24240bfc proofgeneral-3.5.ebuild 1327 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 +MD5 017179d14d4659a20c38a23b00fe9671 files/digest-proofgeneral-3.5 69 |