diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2007-10-07 07:27:43 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2007-10-07 07:27:43 +0000 |
| commit | a7732be32056979f20934c79ca2407d408b85723 (patch) | |
| tree | c119a5ee5adb1f8f83ad8dd92ffb25d46f2aebeb /app-emacs/proofgeneral | |
| parent | Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables. (diff) | |
| download | gentoo-2-a7732be32056979f20934c79ca2407d408b85723.tar.gz gentoo-2-a7732be32056979f20934c79ca2407d408b85723.tar.bz2 gentoo-2-a7732be32056979f20934c79ca2407d408b85723.zip | |
Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.
(Portage version: 2.1.3.12)
(Signed Manifest commit)
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 136e1f18a9ee..e4a82751fae1 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -10,18 +10,18 @@ MD5 2a598208f4abb9c0fda7d0053797e17b files/proofgeneral-3.5_isabelle-non-interac RMD160 b7cfdbb46f0384b645ee4304242fdcfa89b4b4c7 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 SHA256 29908bd6941981167cce1a26a6e8e3d1522ab704e509b86f12c858c8f5b07fb1 files/proofgeneral-3.5_isabelle-non-interactive.patch 1257 DIST ProofGeneral-3.5.tar.gz 1799956 RMD160 08025f894cecc04b50003aee28270001eea5d198 SHA1 79464e6c5db46eb86c8a0a612045b412ad8ab9db SHA256 6c044a44dc4457a0b6d7660afb9ae0a36240c22fc9f5475a90ff5bb685875a0b -EBUILD proofgeneral-3.5-r1.ebuild 1369 RMD160 6e1a1e960f00b77ab91cb7bb10cf91b47f9bec51 SHA1 88c4fa199e2a8441eee31a917217370810803388 SHA256 a86dab4cc3ff71ceb4778f97624a5885d52b4e1587e5b2a04f7f1eca7cc285b1 -MD5 f82a87525b708a4eda580170df58689e proofgeneral-3.5-r1.ebuild 1369 -RMD160 6e1a1e960f00b77ab91cb7bb10cf91b47f9bec51 proofgeneral-3.5-r1.ebuild 1369 -SHA256 a86dab4cc3ff71ceb4778f97624a5885d52b4e1587e5b2a04f7f1eca7cc285b1 proofgeneral-3.5-r1.ebuild 1369 -EBUILD proofgeneral-3.5.ebuild 1327 RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 SHA1 b3b3a6cc1d3ecc0d9f9fc418398a76b21375a241 SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 -MD5 7f3f9115917195da81324382993ac07f proofgeneral-3.5.ebuild 1327 -RMD160 961c7264c4f2afe2192f91d52082787cf9847d29 proofgeneral-3.5.ebuild 1327 -SHA256 d632993f9ea2cbeea53bd5f18a043cb9308d8e58aacc4dc4fc6f153ca155de68 proofgeneral-3.5.ebuild 1327 -MISC ChangeLog 2088 RMD160 a0ad09246e0b022de34a98ef8427e9306ae4ec3b SHA1 5334c4e731a53a7d2aa7baee7501c8d0133800a6 SHA256 ef56b8ff1fd7f259aca15340cbd11cc63a5db0f7419207a6c534a864d35b7007 -MD5 5fad5d164f5b490b0b01d2941624c40f ChangeLog 2088 -RMD160 a0ad09246e0b022de34a98ef8427e9306ae4ec3b ChangeLog 2088 -SHA256 ef56b8ff1fd7f259aca15340cbd11cc63a5db0f7419207a6c534a864d35b7007 ChangeLog 2088 +EBUILD proofgeneral-3.5-r1.ebuild 1343 RMD160 abb8b3df948fa6ed364a51c2966ef43441b42b9c SHA1 a946ad9432685a27d1046a8543b3ba30401c1989 SHA256 98768cf0209f171ebc0873d73c4752192bec0b582cecfaadd5c9cb409d6cbd61 +MD5 be63e15d8879579f5dd217e462232b38 proofgeneral-3.5-r1.ebuild 1343 +RMD160 abb8b3df948fa6ed364a51c2966ef43441b42b9c proofgeneral-3.5-r1.ebuild 1343 +SHA256 98768cf0209f171ebc0873d73c4752192bec0b582cecfaadd5c9cb409d6cbd61 proofgeneral-3.5-r1.ebuild 1343 +EBUILD proofgeneral-3.5.ebuild 1265 RMD160 2ab40904e8bb968d6d28d702d6d1126e234faeed SHA1 17c2a24ac8d42a01c036e0335c946ae071224efb SHA256 af35959119fe717c840bc6a9314fa2eb1f13a9e7ead11683f5b1a6264679a874 +MD5 10e294d8501d67ae850d7ddeebd0f667 proofgeneral-3.5.ebuild 1265 +RMD160 2ab40904e8bb968d6d28d702d6d1126e234faeed proofgeneral-3.5.ebuild 1265 +SHA256 af35959119fe717c840bc6a9314fa2eb1f13a9e7ead11683f5b1a6264679a874 proofgeneral-3.5.ebuild 1265 +MISC ChangeLog 2269 RMD160 85b638cd9da61a127db547d6590d25f2254a9712 SHA1 f8548bd0159b07ae0cfb54603742457ff6c7d1be SHA256 0928124452342f209b70c3c3081f13ce55bb13a605f3637d0753129ce8dc270b +MD5 61d27a7b609c3d0719cc54e7964c0bab ChangeLog 2269 +RMD160 85b638cd9da61a127db547d6590d25f2254a9712 ChangeLog 2269 +SHA256 0928124452342f209b70c3c3081f13ce55bb13a605f3637d0753129ce8dc270b ChangeLog 2269 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158 @@ -35,7 +35,7 @@ SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/di -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) -iD8DBQFGifsYNQqtfCuFneMRAlgKAJ0UKYvX34d3Yz9nbi7xrWOrq5p5BwCdFDWY -Qz6qZ0hSG0czW24Dnk0QVw8= -=Pu13 +iD8DBQFHCIpoOeoy/oIi7uwRAqTzAJ42IkY9pULyIDCWqIkSghfuR9eIfwCgyMk2 +RiClNIxAudPXgSBJoq5v+7M= +=IQCQ -----END PGP SIGNATURE----- |