stable ppc, bug #195156

Package-Manager: portage-2.1.3.12

3 files changed, 14 insertions, 21 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index 9184e3198938..88b64b1a6584 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,9 @@
 # ChangeLog for app-emacs/proofgeneral
 # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.15 2007/10/08 21:59:11 opfer Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.16 2007/10/11 13:31:14 pylon Exp $
+
+  11 Oct 2007; Lars Weiler <pylon@gentoo.org> proofgeneral-3.5-r1.ebuild:
+  stable ppc, bug #195156
 
   08 Oct 2007; Christian Faulhammer <opfer@gentoo.org>
   proofgeneral-3.5-r1.ebuild:
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index f7438ec55aab..44887acf3924 100644
--- a/app-emacs/proofgeneral/Manifest
+++ b/app-emacs/proofgeneral/Manifest
@@ -1,6 +1,3 @@
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
-
 AUX 50proofgeneral-gentoo.el 104 RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 SHA1 90e1dfe5f8a1c4f2849b114b829bd1db9cc1efb7 SHA256 5c0ae01c325879234ab8b841f921f54ee2f915cab803c8800c82419300d2c83a
 MD5 364011e7b02a703d04289f7d0f841986 files/50proofgeneral-gentoo.el 104
 RMD160 a91af8e503dcb7163c771fdddb593d5b8bd3c622 files/50proofgeneral-gentoo.el 104
@@ -10,18 +7,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 1344 RMD160 a243e0364972357e277e42f09f14b981905f2d05 SHA1 b4c48578ea11a5cba444f333e164e461edfcf8b9 SHA256 7ed27298834314f2c6e52293180a5daf9e3ed557600688f98f47fc813ea6d977
-MD5 168e116da963be7a83cc5a97808454e0 proofgeneral-3.5-r1.ebuild 1344
-RMD160 a243e0364972357e277e42f09f14b981905f2d05 proofgeneral-3.5-r1.ebuild 1344
-SHA256 7ed27298834314f2c6e52293180a5daf9e3ed557600688f98f47fc813ea6d977 proofgeneral-3.5-r1.ebuild 1344
+EBUILD proofgeneral-3.5-r1.ebuild 1343 RMD160 b1189825d12d5bf24ba959aa3b3b31178b4b42b9 SHA1 8d0ff13ac252722f2bf1cb2ab45a30a33e15acbc SHA256 a1784332ba13c9444d76d9efc08fc0428a4246f6136c066214b51c6b08dc2103
+MD5 2b5bde0551dc0c308927a5a550a0001c proofgeneral-3.5-r1.ebuild 1343
+RMD160 b1189825d12d5bf24ba959aa3b3b31178b4b42b9 proofgeneral-3.5-r1.ebuild 1343
+SHA256 a1784332ba13c9444d76d9efc08fc0428a4246f6136c066214b51c6b08dc2103 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 2382 RMD160 b9c7c64e9b426c39a0805033c2893876e2b56159 SHA1 7e64b64dbff7c2f3cdaf8018af22ea4e0b2ba1e8 SHA256 213cd404a4cd277b3282f6059b07b45a627a16f98a81182247676a661ca98e8c
-MD5 f3de8a5cad5e64a1d526dd0ad8e652da ChangeLog 2382
-RMD160 b9c7c64e9b426c39a0805033c2893876e2b56159 ChangeLog 2382
-SHA256 213cd404a4cd277b3282f6059b07b45a627a16f98a81182247676a661ca98e8c ChangeLog 2382
+MISC ChangeLog 2483 RMD160 8968e7221fe9c76b9e4fa539be4e2b9a1cfabf5c SHA1 908139217c0dd7236598b3c3bfbbbc4810102a29 SHA256 5c1d2a94d4e7c2d1acf82cdb0307ba130536f8e1a492c05b4d0d7a0ad5684314
+MD5 9a68fcf8e6cd9d085c3dd412879170fa ChangeLog 2483
+RMD160 8968e7221fe9c76b9e4fa539be4e2b9a1cfabf5c ChangeLog 2483
+SHA256 5c1d2a94d4e7c2d1acf82cdb0307ba130536f8e1a492c05b4d0d7a0ad5684314 ChangeLog 2483
 MISC metadata.xml 158 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 SHA1 61f6eff9729cd87a725c2a70c81aca4270a17fc4 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab
 MD5 fcd33d07e4ee719b01157946734f4fe8 metadata.xml 158
 RMD160 415d172437ca754d24fc5ab186ba8e77934d96e4 metadata.xml 158
@@ -32,10 +29,3 @@ SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/di
 MD5 e3ea019af26940336559056e8ecf6b6a files/digest-proofgeneral-3.5-r1 253
 RMD160 0d893ee4fd5e304617ce2b6bf52c23414b4c2083 files/digest-proofgeneral-3.5-r1 253
 SHA256 dc27c672ed1c4312d54d15841cb48d36798cc6a1afb0ea90415034c49dcea9ef files/digest-proofgeneral-3.5-r1 253
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.7 (GNU/Linux)
-
-iD8DBQFHCqg4NQqtfCuFneMRArFjAJ9BmUVqAqexKhcnHiRZ+P1gvCsoTACgh+i+
-Q1c5a0xCABKx3lIuR35LJl0=
-=cEC9
------END PGP SIGNATURE-----
diff --git a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
index cf1c89aecb26..add9075ae03b 100644
--- a/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
+++ b/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2007 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.5 2007/10/08 21:59:11 opfer Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.6 2007/10/11 13:31:14 pylon Exp $
 
 inherit elisp eutils
 
@@ -12,7 +12,7 @@ SRC_URI="http://proofgeneral.inf.ed.ac.uk/releases/${MY_PN}-${PV}.tar.gz"
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~amd64 ~ppc x86"
+KEYWORDS="~amd64 ppc x86"
 IUSE=""
 
 S="${WORKDIR}/${MY_PN}"