diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 21:31:18 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-01-21 21:31:18 +0000 |
| commit | 322beab3dec9d2d1efd21ef022607286b3461d53 (patch) | |
| tree | 0b83fc3fec47282b0d1911af472feb31a7817911 /app-emacs/proofgeneral/Manifest | |
| parent | Initial commit (diff) | |
| download | historical-322beab3dec9d2d1efd21ef022607286b3461d53.tar.gz historical-322beab3dec9d2d1efd21ef022607286b3461d53.tar.bz2 historical-322beab3dec9d2d1efd21ef022607286b3461d53.zip | |
Initial commit
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 1eb8daa5f406..93be39cd0329 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,3 +1,5 @@ -MD5 0750df9a66d80c89978473d45ddd1ac2 proofgeneral-3.4.ebuild 1252 +MD5 fbcdd9ce55852b340e0108a37cb6cd15 proofgeneral-3.4.ebuild 1268 +MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 +MD5 ca55e0be6af83b1a621c953968346bca ChangeLog 425 MD5 f34aad0948ece9597b5e6b389350117b files/50proofgeneral-gentoo.el 150 MD5 9a678b86136a015d8ceb1c2d93254e34 files/digest-proofgeneral-3.4 68 |