diff options
| author |   Christian Faulhammer <fauli@gentoo.org> | 2008-03-31 06:18:49 +0000 |
|---|---|---|
| committer | Christian Faulhammer <fauli@gentoo.org> | 2008-03-31 06:18:49 +0000 |
| commit | 6dc248130f7a990dd120d643fd581988a4b0f74b (patch) | |
| tree | 0f7f0f0d39a5012fdafd128fa120c56d8d29257e /app-emacs | |
| parent | new patch for ssl issue in bug 214892 (diff) | |
| download | historical-6dc248130f7a990dd120d643fd581988a4b0f74b.tar.gz historical-6dc248130f7a990dd120d643fd581988a4b0f74b.tar.bz2 historical-6dc248130f7a990dd120d643fd581988a4b0f74b.zip | |
stable x86, bug 215344
Package-Manager: portage-2.1.4.4
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/Manifest | 14 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-3.7.ebuild | 4 |
3 files changed, 19 insertions, 5 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index caa002def3d3..ca6203b0ea84 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.20 2008/03/30 23:26:37 coldwind Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.21 2008/03/31 06:18:49 opfer Exp $ + + 31 Mar 2008; Christian Faulhammer <opfer@gentoo.org> + proofgeneral-3.7.ebuild: + stable x86, bug 215344 30 Mar 2008; Santiago M. Mola <coldwind@gentoo.org> proofgeneral-3.7.ebuild: diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest index 4ce81da52279..938a04f537f2 100644 --- a/app-emacs/proofgeneral/Manifest +++ b/app-emacs/proofgeneral/Manifest @@ -1,8 +1,18 @@ +-----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 1254 RMD160 c184884560f86d826e61d8c69fa5a7442293d4c2 SHA1 32b43e14244e6b7c2210cdcf08153fc8ef0c7290 SHA256 7c99a99d5f81df417bfef93bb68ea7a2ec9c010ed1a3ff84258c4c64f23c71b1 -MISC ChangeLog 3066 RMD160 7db200d3f948dd3001d4d2dda313dd6f6e4554b1 SHA1 bff759e609346b265b3e44bd361e8880a4e57c98 SHA256 92d72aec17c790101f2fb38503d2858a929241a1bf77f068d2a3bd7dba20fcba +EBUILD proofgeneral-3.7.ebuild 1250 RMD160 65d49c897dde4b032de2fb3738abf203357686ac SHA1 5f4f627ae223e340eae0a19fec11a6dd8416df2d SHA256 8d22b9ebfe6ab287f604d39375562568a247751c53c057675917a09b6f01d473 +MISC ChangeLog 3171 RMD160 89b763913edcd6a3e0267f572d04cab44c7d0f39 SHA1 de798b728a6e7a3f6e23146ad9889fcadb139601 SHA256 eb71efdbce5c123e6707fd3409461b96d98e147b6a0bf6bf17a828230b65f25c 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----- diff --git a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild index 7398c7921fc4..f40bc5909db0 100644 --- a/app-emacs/proofgeneral/proofgeneral-3.7.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-3.7.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.2 2008/03/30 23:26:37 coldwind Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.7.ebuild,v 1.3 2008/03/31 06:18:49 opfer Exp $ inherit elisp @@ -11,7 +11,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="" S="${WORKDIR}/${MY_PN}-${PV}" |