diff options
| author |   Olivier Crête <tester@gentoo.org> | 2005-08-28 02:35:30 +0000 |
|---|---|---|
| committer | Olivier Crête <tester@gentoo.org> | 2005-08-28 02:35:30 +0000 |
| commit | 8f4b1ccf674dd6a8691d1588725250eab1933607 (patch) | |
| tree | f3f1780434c50849ffbf7faead163501b1865568 /app-emacs/proofgeneral | |
| parent | Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing (diff) | |
| download | historical-8f4b1ccf674dd6a8691d1588725250eab1933607.tar.gz historical-8f4b1ccf674dd6a8691d1588725250eab1933607.tar.bz2 historical-8f4b1ccf674dd6a8691d1588725250eab1933607.zip | |
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
Package-Manager: portage-2.0.51.22-r2
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 7a8f2b907c11..e4c0e7d19d88 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,15 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA1 + MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 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 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v1.4.1 (GNU/Linux) + +iD8DBQFDER+ymOfEJZHYOKcRAg4fAKDbOcCsrezWaME8THLiBV+L3j3BzgCgrOz/ +OU7/wWsSkWb2cio3H8iSWJw= +=bpIy +-----END PGP SIGNATURE----- |