diff options
| author |   Gysbert Wassenaar <nixnut@gentoo.org> | 2008-04-12 09:02:50 +0000 |
|---|---|---|
| committer | Gysbert Wassenaar <nixnut@gentoo.org> | 2008-04-12 09:02:50 +0000 |
| commit | 20466d7b28f13198f089279f03013638db885abc (patch) | |
| tree | c702fc4800bd899f75da8a648a1ee0079abd1e87 /app-emacs | |
| parent | Stable on ppc wrt bug 215344 (diff) | |
| download | historical-20466d7b28f13198f089279f03013638db885abc.tar.gz historical-20466d7b28f13198f089279f03013638db885abc.tar.bz2 historical-20466d7b28f13198f089279f03013638db885abc.zip | |
Stable on ppc wrt bug 215344
Package-Manager: portage-2.1.5_rc2
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/ess/Manifest | 4 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 14 |
2 files changed, 4 insertions, 14 deletions
diff --git a/app-emacs/ess/Manifest b/app-emacs/ess/Manifest index b6eeac8a8dec..5200b36982d1 100644 --- a/app-emacs/ess/Manifest +++ b/app-emacs/ess/Manifest @@ -2,6 +2,6 @@ AUX 50ess-gentoo.el 92 RMD160 9a7734ecb043fd568ad7e5131aee818c282f9cba SHA1 0097 DIST ess-5.3.5.tgz 2583898 RMD160 ba9f2bfd6335c7a5379301f1136b5fa46ce3d4dc SHA1 67cc5586a450d67b3e9278ca6bb36696d71b9040 SHA256 66a49538a0368edb3bd7d37011138999db7ffd60dfb4b740ab16a73f1e515e31 DIST ess-5.3.6.tgz 2701886 RMD160 c82d1409b4db64b307f1f6ffeec4c977fe2d4020 SHA1 94d9002a8764b22ebf7a11e79c02c6fe3e17cc9d SHA256 9531c53e534550924680862e10c04eadd9c049c66a1fc0b9df940c1f966c7a12 EBUILD ess-5.3.5.ebuild 1404 RMD160 3b0d194d9ed277434252bf171fa585f4f296ea12 SHA1 2d6ec042072954e74aab8695ed6237f816fd2f77 SHA256 bed47e0586e7e9c73ad9492021f0d1387689580c78aa2f7bd047ed8e6072992e -EBUILD ess-5.3.6-r1.ebuild 1520 RMD160 fc18093cbeaafeb0f2765edd8e475571a3440d02 SHA1 c8e96551ba35c2041eac87eceff85893bdf80bc0 SHA256 e67b3fac29ce4c6c44800c48b72ec825d5060184a2067e96b211a07a32c7c519 -MISC ChangeLog 4384 RMD160 bbbaf81cce010e9d798fd25369730f5b1785c7a9 SHA1 711d950750b311d5ac25609b874aefbd5277248e SHA256 e7699fe8c32c59b61c5c1a9fa2abec6053117dcb6fa38f88f50805237b4913f4 +EBUILD ess-5.3.6-r1.ebuild 1518 RMD160 414789da17f69ea4a4096bb3bc4932efa1c170f4 SHA1 9c814fbcac7adea5f75a45990b4e0cb2234adaf0 SHA256 90719ccae85f170f80b4f963bd8825bbc4ce7f42b6b55be6970fe2ad80bf73ab +MISC ChangeLog 4478 RMD160 858df0d17a5dcc2bea26f6d25b85252093c92a8c SHA1 05b4dd6303e4530424e4dd61037f616ad49e3e95 SHA256 1e7b678a14bfe630a95ba2f3ce4a386244a355bdc61cf887e847bfb2545ae2b2 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 938a04f537f2..a1d94aa7050b 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,18 +1,8 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX 50proofgeneral-gentoo.el 111 RMD160 47c0b68c0797346cb0c8f19b2113e31786697e89 SHA1 ed5d5b15645a86fe1eb000f5fb74ccc599459ee9 SHA256 e57baa810a64b4fdaa5602d183001b86ece583981fc4374575fc4716de468eac AUX proofgeneral-3.5_isabelle-non-interactive.patch 1257 RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 SHA1 2882d83ea7671449d1c428aa4aea96af84b3d16f SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b DIST ProofGeneral-3.7.tgz 1981651 RMD160 3a7730e49ecd6f5a82f72e36851079c85c0e73ed SHA1 eca137e02e33e379ed8c807f7f0097c190295a1c SHA256 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e EBUILD proofgeneral-3.5-r1.ebuild 1342 RMD160 3c0147e2316f436c76dab7b6974d62d0d98ab743 SHA1 445d3f7e43c97c33d2262af7ccf96591e5d41775 SHA256 f3bc2686405cb388bba975b9ab988f148a78aef1f0de02ef5bed3825aaf18803 -EBUILD proofgeneral-3.7.ebuild 1250 RMD160 65d49c897dde4b032de2fb3738abf203357686ac SHA1 5f4f627ae223e340eae0a19fec11a6dd8416df2d SHA256 8d22b9ebfe6ab287f604d39375562568a247751c53c057675917a09b6f01d473 -MISC ChangeLog 3171 RMD160 89b763913edcd6a3e0267f572d04cab44c7d0f39 SHA1 de798b728a6e7a3f6e23146ad9889fcadb139601 SHA256 eb71efdbce5c123e6707fd3409461b96d98e147b6a0bf6bf17a828230b65f25c +EBUILD proofgeneral-3.7.ebuild 1250 RMD160 7b33b5ae5c1707ad6988189ca2d7174e591b85d2 SHA1 2b60ce91b5bc0443e8cd2af61be79f5de74b6124 SHA256 881436c3d80cc0fc99e1cabf9c223f2889870784fab01c997f82e0dfaef5e7a1 +MISC ChangeLog 3271 RMD160 7c4fcf3955f8571d461e392750125324b494c187 SHA1 44718f6304cfa0d91c29c354b050566482553107 SHA256 15b7a9ca688edcc04fd60cab2e29d261f917427debb867c39caecf3e3a348976 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.7 (GNU/Linux) - -iD8DBQFH8IJdNQqtfCuFneMRAjsPAJ9hDUUlmbVNHulEI1J2zuSGzI3upwCgj4RH -IridKvlCRxSCYQ9H1+Qe58s= -=ZsGr ------END PGP SIGNATURE----- |