diff options
| author |   Olivier Crête <tester@gentoo.org> | 2005-08-28 02:25:03 +0000 |
|---|---|---|
| committer | Olivier Crête <tester@gentoo.org> | 2005-08-28 02:25:03 +0000 |
| commit | 6f5183d7be6f282c2a001957e3cdf0ae57593c20 (patch) | |
| tree | ab8b6ff6b8b2f0383200c078625bfaa363837648 /app-emacs/proofgeneral/Manifest | |
| parent | Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing (diff) | |
| download | gentoo-2-6f5183d7be6f282c2a001957e3cdf0ae57593c20.tar.gz gentoo-2-6f5183d7be6f282c2a001957e3cdf0ae57593c20.tar.bz2 gentoo-2-6f5183d7be6f282c2a001957e3cdf0ae57593c20.zip | |
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
(Portage version: 2.0.51.22-r2)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral/Manifest')
| -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----- |