diff options
| author |   Christian Faulhammer <fauli@gentoo.org> | 2009-08-17 20:06:36 +0000 |
|---|---|---|
| committer | Christian Faulhammer <fauli@gentoo.org> | 2009-08-17 20:06:36 +0000 |
| commit | 396f03df3f9f686b1b29bfdce2ea2f4615f08b86 (patch) | |
| tree | b98c67998894bf5cf1efa4deefbb5436515a7711 /app-emacs/proofgeneral | |
| parent | clean up (diff) | |
| download | historical-396f03df3f9f686b1b29bfdce2ea2f4615f08b86.tar.gz historical-396f03df3f9f686b1b29bfdce2ea2f4615f08b86.tar.bz2 historical-396f03df3f9f686b1b29bfdce2ea2f4615f08b86.zip | |
clean up
Package-Manager: portage-2.1.6.13/cvs/Linux i686
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index d66eb646b66c..88f2b6ee6e2d 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -3,15 +3,13 @@ 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 1256 RMD160 3e7737df98424ccf6a0a464176969dc769d4891d SHA1 3c77d03fbf01d232b07bb5b49e4bbdbb6ae728fc SHA256 877a17bce348d822437625e7a4a811079f1c8843e9a59588101ef8f79b69a33e -EBUILD proofgeneral-3.7.ebuild 1244 RMD160 daedb17521c750dc20c893c8f0769b24021c7ad7 SHA1 793d3b0c37c9ce59647fb03087272a3c08cff364 SHA256 4f70bd2262b48e9b5c93e6dcf8f64f18b567e49fb3cbf6777ab2473b7f76cd55 -MISC ChangeLog 4076 RMD160 d1e7264e03f4b89e64ccc6c7aba0897a8e1be48c SHA1 a0c9c54c79d7032ff2340094c36c690728e89b21 SHA256 00082b3e668822b284ede1f1d869742f839c18b4142d35c58646a503085f0f1f +MISC ChangeLog 4170 RMD160 e62b34faa8949a2fa9984df3817b21c1075449c3 SHA1 9aea313ff62882e5908ac9df34b923666926a6c0 SHA256 fca5fa7cfdf5840dda602951c61f36b0c889dfe53d96371c707944e869d8287e MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.11 (GNU/Linux) -iEYEARECAAYFAkoxXfoACgkQkKaRLQcq0GKyygCcDz40vRWfvQBVroiCyEyacB+K -1AkAmwU52TZ4AfXOFd/WoEV/h9UKpK62 -=CCut +iEYEARECAAYFAkqJuEgACgkQNQqtfCuFnePp/QCZAcJ8mUBUCFk+2zPDADKASScA +zAEAni7cVTfJ9MtxgB54XwYYfGLLLbcI +=yAKE -----END PGP SIGNATURE----- |