diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2013-12-21 16:11:41 +0000 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2013-12-21 16:11:41 +0000 |
| commit | f4ddddf2bd7510bd52974bc3511c39ec13e08022 (patch) | |
| tree | 2ab0b820e97df86833829d264c0d06094a8cb4e4 /app-emacs/proofgeneral | |
| parent | Stable for ppc, wrt bug #490104 (diff) | |
| download | historical-f4ddddf2bd7510bd52974bc3511c39ec13e08022.tar.gz historical-f4ddddf2bd7510bd52974bc3511c39ec13e08022.tar.bz2 historical-f4ddddf2bd7510bd52974bc3511c39ec13e08022.zip | |
Stable for ppc, wrt bug #490100
Package-Manager: portage-2.2.1/cvs/Linux ppc64
RepoMan-Options: --include-arches="ppc"
Manifest-Sign-Key: 0x7194459F
Diffstat (limited to 'app-emacs/proofgeneral')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 31 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.2.ebuild | 4 |
3 files changed, 23 insertions, 18 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 0b53781dbf17..df40bc9c2d77 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.38 2013/04/22 19:42:12 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.39 2013/12/21 16:11:39 ago Exp $ + + 21 Dec 2013; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.2.ebuild: + Stable for ppc, wrt bug #490100 *proofgeneral-4.2 (22 Apr 2013) @@ -155,4 +158,3 @@ 21 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml, proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el: Initial version, related bug's #30394. - diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index dafa81ced737..f320d736c860 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,5 +1,5 @@ -----BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 +Hash: SHA512 AUX 50proofgeneral-gentoo.el 68 SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898 SHA512 32f3d33d85776f1695d542adadb8e35e372659fcce2805fc205732cd911be186cd5a1a63a8438287467dea744da9ef212f7338c0edb735a525ec30f892f1afca WHIRLPOOL f86e9df144b08f403c71efbd74ba2076e3a25ba05c09253bd8c60046297db04a1e33b67b7d1769109fcb1ce984b25d43f80470defd2573d0c3333193db3ddf54 AUX proofgeneral-4.1-emacs-24.patch 3180 SHA256 0c12b506ade463617fe2cbfa003b2661ae6e0d1c276c8960c2dac18faa388fda SHA512 5fbb0e32ed10eef4ebdb56eab6aa5795d5393ce9b37524840eebf10952153e2a67f4f9f201464720a7fc55427cf62fe5f4348ad1e08ef8ac395806e41211f5ae WHIRLPOOL 0b573b95ff38814d7d7988d3a93e64453a7c98c0aacd5449385932dba0a03818c8f0e23cf600cfa687c5d0b8cd534cf7388cd8b2b971c3eff5334974f7a8495a @@ -10,20 +10,23 @@ DIST ProofGeneral-4.1.tgz 1428499 SHA256 2a264d46b48185cf1a6ebcca958e59171ea670f DIST ProofGeneral-4.2.tgz 1613190 SHA256 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab WHIRLPOOL 9c4e54cf3b1528ee6cbdfac19b0c589f0c2640defbac15d5aaf0a1bfd64680bff45d2faa17f669210f47f30debb768d593590d350acac9c2669d24dc109bb4d8 EBUILD proofgeneral-3.7.1.ebuild 1344 SHA256 0199b19bf18c0c20cfa5719dcfbec325511013d00f777c2b1c25ee72719806ba SHA512 1eceba65beb041dc110127c724087d5471ed00359f8907b4ddb8f378072f09b8eb83c4d6d0f59ee0f7d37f669f1f3587d03b38c7b02de543ba55b5acb517e1fc WHIRLPOOL 965762275b09d744e78eca6ccc85611bb9f049af87155acac383c6276ed133f742036cffb6b14926171103d5d81e992483651263f5e5c816d904fdf82937fbf7 EBUILD proofgeneral-4.1.ebuild 1555 SHA256 879cb007ef8fd95b3187748dfd7d9e7e16fa9442d9dbf5d7ca0ce683cd3858cc SHA512 481e8bc8dbed97f7d6e04317c49cdecdf4993715d4a882f47db4c9ee3834ad3ee7f632eef2255b9658d08a3d10f4f0fcbf29984ad3096ea5e0614f7734a7c67e WHIRLPOOL 20758ae9516a25bfaed551486e6e3301e4bb2e8bd2fb369a7640c8e45cde78c0c160dbb4a0ba9714e03f1712d086f186b1ec3df54541d20ce014c84c82bec2c3 -EBUILD proofgeneral-4.2.ebuild 1535 SHA256 ed3a864269b230ff930095f93b2dd557d369ebb17330951fd828fe3d6bd880a3 SHA512 5f06f9406ec1e1a1ae10743af1a14af415bab48032b2b55089ae554f018f8169c7c80bcd59d5a875e2096a5ac2cd98bc5971307bbb3ea9b928d430505e999465 WHIRLPOOL 8fa56573d67ec3f24a4aa318a83380660689a5e6c5c012da9b7cfb418b53961bf95482b932d022a43c5fa60a2c6c1aa311b335ac45231bd638949095f5502859 -MISC ChangeLog 5658 SHA256 2df549a831c69e23dcb0488c14ab079e35fa8379754a898a567f43646f395748 SHA512 6aaf670959b159a263363bc8149a303064757b3fd976d78995c505ef747b705260c86d232b02f06815071a66c32996e7eb7feae1f7060e4195da631a2df49cae WHIRLPOOL 223a35c47fcb797c37993f9f50c49874c999d90f94b079f36d64d406324ce766ff4b580786f2ab7597711f73ae2711f26f64b1989b4d8baf7efcfa9ce75da525 +EBUILD proofgeneral-4.2.ebuild 1534 SHA256 9d6c1b348f6412043180bde39b64a527f3f7dadfff0bddb71f4c671e777972d7 SHA512 2b0ebc032a56732f713a6ea13d5a9cf251776a9dd39abc44d8f5fe05cd1da3beaa1378c9c4317ce9a036a7639985b1689245b732806ac88a249f873a1b7e0b52 WHIRLPOOL 2f1502d4803cc2589eb9f397518e239ca251d576786ac294d169b9b1779e51e32cca9dbe694bce332c99c654b083598bfdbd3cd24ef346cc5c929602e172c753 +MISC ChangeLog 5766 SHA256 eb964680a738139c79d8cdba73ddd0152b954d88d89e7396f6d517aa13ea9883 SHA512 3b68f2f547e2b15568cf18a6a4687f0a3260253170cd7479794315064901a77d1a70a8463c5c4a620008b809a626a634cf501bdec948d547ea12be54389411f6 WHIRLPOOL 9557a6bff4fe34bf56ed633263955ee68f9b28a3447b06bba17e880ea619a09c4f90f248415b0f678b93705e1eee84176c5699d4214be526808cd6ac879e675e MISC metadata.xml 158 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab SHA512 e55d75feae933ba948ae987305ea58e36f5880f18687e8acaf91237e33e251be3ecfd5be27048f4907ea6799e0bcf784b602096dd7e2bc9c450eb5e2bb6a73d2 WHIRLPOOL 1d1676172186235a3e99ca1d148298fb24f6a089f9b7908b3c28c246c8854969835fd3742b8b81e0a30b63d76ee0be0c42bfede2416a30dfc3c8b915a147340c -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.19 (GNU/Linux) +Version: GnuPG v2.0.22 (GNU/Linux) -iQGcBAEBCAAGBQJRdZLfAAoJEJQzkH1pP7W4h0IL/1gjUcMfQxVuEDtETB/0+sks -KocQtgSI7HVqTn1a0QpYnFWCN78f3+iwZLlEs7sbAIDz/gKVFU3F2PcGH0Yb5wvX -dJiCgZtHEdEO182ejkxfP04WOqGPUUqildaW4jl57XuhpgCVpz68JSESuAX6O+Pm -CzFqi1r3R+KXKi2Tf6chlUNxStRWbMFH0cUbNk/G/QTlrdRph6VxDd/o/rfUpdym -CeZoj10No9qzlSLWXJ302gBjWkmid9TsozuzuSXp5RKPKmKG3fjAOVRaXEOGr8J1 -1h4CkPsv/Jdsjr93DySgvO0svAnykmtkdfSEPwKzS90BFUYFvn9KCVQcLRZzHghL -pEWTOceM0++IaBSTckAz/0Gl0cwcTBBwzfHJq8eik9nD3OErwWONPYEuUfv1+GZ2 -Ix6cbohqxysji+fJZ1/ZsoRyhgHDjBwAliINU6FGMXOIzzkbXVGJjqUfjT+mZLUc -Jw9sPJcEnABB+kGFoDPLjb/8VXgEyEl3aqb4nRpUjg== -=SUuM +iQIcBAEBCgAGBQJStbzKAAoJELp701BxlEWf3xEP/2jLschIdI53GqkhH05gqUrW +Ifr4lyDYB2zmGPMHf69pV8oxxDk+cMUbXkngB0IwIczSC/sx5Uv4mjMVhQKfrQJF +p8ejXu6LXgHI34oHS/9J06kixMwt4k+7xfmHziX9yp5mA1789OURN4w9WHLk6MPD +94pe5AdMyPlsGV3pP4lCsm0NZWcs537EtEB0E6HAoYuLUpqTVjE/a2riklVXgP+8 +31aTLo6CVE9+ys/rjelgFTIhHeIyuZJRr9v44zPpBorsKTHikDgzaettgDM5DFQR +X6RA3oLVCQSBGxBrNPdA0LxHtdNBC0yQFmx123kepq1R6O3bIvkTgkz1e8Ib3o3m +JrzMSBRbmrb+2zK91pb4J7fEzFHMJW/Yt/NyPgjmQky3zwuq8tV63Cj2sX8uV3CN +14Q5IPXuUPEJAD/hlKdbdeic8ktfDE/HadykEbLHQifXtTO2ZBp1pSfdMuV+OZDD +66nHNlgFReethVXuvLqqBTdT4Qmp5oDD59vmAulXy4MMBRrakMo9Hi02Fi4B5/6E +4NgGt1NBjyFKymNNjboyF6HZDEG/9Min4EivyQAUJjLIXJrWcZbvR1jarUAW2xHl +nWfDejmolDNmNUQVa6rmHnAOngGFmGAKF8spaqAScnbqPaw0xjjm1tyjWK9ZgeHH +2znxm/Rcxfses/+sxG6y +=zUtL -----END PGP SIGNATURE----- diff --git a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild index fbb8174e1e32..dea059d0c705 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.2.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.1 2013/04/22 19:42:12 ulm Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.2 2013/12/21 16:11:39 ago Exp $ EAPI=5 NEED_EMACS=23 @@ -14,7 +14,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tgz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="~amd64 ppc ~x86" IUSE="" DEPEND=">=app-emacs/mmm-mode-0.4.8-r2" |