diff options
| author |   Gysbert Wassenaar <nixnut@gentoo.org> | 2009-06-06 17:42:43 +0000 |
|---|---|---|
| committer | Gysbert Wassenaar <nixnut@gentoo.org> | 2009-06-06 17:42:43 +0000 |
| commit | 9884d70a34118fb8e64b163f7e3c30d29144ac0d (patch) | |
| tree | 5a3ad667da14eb2ad9f7be7cf41d5b3542eedfb7 /app-emacs/proofgeneral | |
| parent | ppc stable #272471 (diff) | |
| download | gentoo-2-9884d70a34118fb8e64b163f7e3c30d29144ac0d.tar.gz gentoo-2-9884d70a34118fb8e64b163f7e3c30d29144ac0d.tar.bz2 gentoo-2-9884d70a34118fb8e64b163f7e3c30d29144ac0d.zip | |
ppc stable #272471
(Portage version: 2.1.6.13/cvs/Linux ppc)
(Unsigned Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 02ac68bc36c6..7f6950045047 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,17 +1,7 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac DIST ProofGeneral-3.7.1.tgz 2023176 RMD160 57740365463b0049f9409e9dc1e97bf66a81fb90 SHA1 8bfa5b8c8f670ac992628aa05824f4bf514673a2 SHA256 e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93 DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e -EBUILD proofgeneral-3.7.1.ebuild 1257 RMD160 0e0de939cfc1d4c98f31cd6c4b058edf44613c97 SHA1 410a5d45168ee7769428019bd66fc83ec554cb33 SHA256 cae13f8a4cc92b836572f94e050d9e830e21158c6846364c4f5d34dcb7a68622 +EBUILD proofgeneral-3.7.1.ebuild 1257 RMD160 67751f51afcbf6cb83fd93772905eb53ad7cfef1 SHA1 378ccb95ef0c644b880fda2481ec234d15668ec3 SHA256 912455ba5b183da912ea9b99885aab9cf1a8fb91f16b5af703039ab2f8fbbf77 EBUILD proofgeneral-3.7.ebuild 1244 RMD160 daedb17521c750dc20c893c8f0769b24021c7ad7 SHA1 793d3b0c37c9ce59647fb03087272a3c08cff364 SHA256 4f70bd2262b48e9b5c93e6dcf8f64f18b567e49fb3cbf6777ab2473b7f76cd55 -MISC ChangeLog 3880 RMD160 61a923374441743629c8938e2ae11ec8114be60f SHA1 f85aed75b269a59e0f934e3bfaa413f56f28a06d SHA256 040e2bcbe197d95a220ce432a8d3bc1daacb0f26404439c55cca090389aa5489 +MISC ChangeLog 3972 RMD160 9aac1548c8bf602d77b5b94e4f1b4f179db6e847 SHA1 240f830f66d3fe875b520a9b8209de37fd299384 SHA256 29b5f4a4b3dea5eab09d5592607c1448fe87f4c2b23924c3802595ac39fcfc12 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.11 (GNU/Linux) - -iEYEARECAAYFAkooH1oACgkQNQqtfCuFnePAKgCeODLqef01pDFEk9qIt+aADZX7 -JmAAn1egZI/X1XowPDFyPfPKcIoZ28XL -=B+ra ------END PGP SIGNATURE----- |