stable x86, bug 195156

Package-Manager: portage-2.1.3.9

4 files changed, 25 insertions, 28 deletions

diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog
index 475fec23342f..9184e3198938 100644
--- a/app-emacs/proofgeneral/ChangeLog
+++ b/app-emacs/proofgeneral/ChangeLog
@@ -1,6 +1,10 @@
 # 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.14 2007/10/07 07:27:18 ulm Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.15 2007/10/08 21:59:11 opfer Exp $
+
+  08 Oct 2007; Christian Faulhammer <opfer@gentoo.org>
+  proofgeneral-3.5-r1.ebuild:
+  stable x86, bug 195156
 
   07 Oct 2007; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.5.ebuild,
   proofgeneral-3.5-r1.ebuild:
diff --git a/app-emacs/proofgeneral/Manifest b/app-emacs/proofgeneral/Manifest
index e4a82751fae1..f7438ec55aab 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 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-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.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 ChangeLog 2382 RMD160 b9c7c64e9b426c39a0805033c2893876e2b56159 SHA1 7e64b64dbff7c2f3cdaf8018af22ea4e0b2ba1e8 SHA256 213cd404a4cd277b3282f6059b07b45a627a16f98a81182247676a661ca98e8c
+MD5 f3de8a5cad5e64a1d526dd0ad8e652da ChangeLog 2382
+RMD160 b9c7c64e9b426c39a0805033c2893876e2b56159 ChangeLog 2382
+SHA256 213cd404a4cd277b3282f6059b07b45a627a16f98a81182247676a661ca98e8c ChangeLog 2382
 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)
 
-iD8DBQFHCIpoOeoy/oIi7uwRAqTzAJ42IkY9pULyIDCWqIkSghfuR9eIfwCgyMk2
-RiClNIxAudPXgSBJoq5v+7M=
-=IQCQ
+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 31be08087286..cf1c89aecb26 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.4 2007/10/07 07:27:18 ulm Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild,v 1.5 2007/10/08 21:59:11 opfer 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}"
diff --git a/app-emacs/remember/Manifest b/app-emacs/remember/Manifest
index 1c63b01eedd6..24d90cc1bb1a 100644
--- a/app-emacs/remember/Manifest
+++ b/app-emacs/remember/Manifest
@@ -14,28 +14,21 @@ EBUILD remember-1.9-r1.ebuild 1073 RMD160 885c02dd50354d2b52bdbab6cc51cfb150984a
 MD5 b9cfd1af6e045ae84150ed3741aaba25 remember-1.9-r1.ebuild 1073
 RMD160 885c02dd50354d2b52bdbab6cc51cfb150984a4c remember-1.9-r1.ebuild 1073
 SHA256 ceb1aa01d6c44d814cba8e0709ab3e152e10e6c07334952732c79335ff746a26 remember-1.9-r1.ebuild 1073
-EBUILD remember-1.9.ebuild 759 RMD160 6e7fa6afc9b9812a615317382efe2ee4ca5ff99a SHA1 5562e15d383733d673ced87821bd06daba645992 SHA256 be136f40a518f1ee9ca68674d9f39dce30936f0ab485b2a89271108173c691d4
-MD5 9669347bd4bff55ee8005fe8bef58456 remember-1.9.ebuild 759
-RMD160 6e7fa6afc9b9812a615317382efe2ee4ca5ff99a remember-1.9.ebuild 759
-SHA256 be136f40a518f1ee9ca68674d9f39dce30936f0ab485b2a89271108173c691d4 remember-1.9.ebuild 759
-MISC ChangeLog 1820 RMD160 7e48ef8e4e21db4968576219b673fe6a8026106a SHA1 6738e5c74f979d16b61b8707a442ea704210f1ad SHA256 541316824ef27daff2cfc6f715fffe347d37d82ff8846b5159ac2979ee56b6b8
-MD5 d853987dad99feabde906ecba352b3d2 ChangeLog 1820
-RMD160 7e48ef8e4e21db4968576219b673fe6a8026106a ChangeLog 1820
-SHA256 541316824ef27daff2cfc6f715fffe347d37d82ff8846b5159ac2979ee56b6b8 ChangeLog 1820
+MISC ChangeLog 1911 RMD160 759dfb087cb0813e5de21a712033def2c7418dab SHA1 202ec63f19b1ab5cfa6c79f444d161f2722e8424 SHA256 1f1aa5fb634429ca0e1932a6c872d6a61256a631e82b45a83b6f7d1d7cbfa9d1
+MD5 eea0cadc55f13a710e36a146e8a14270 ChangeLog 1911
+RMD160 759dfb087cb0813e5de21a712033def2c7418dab ChangeLog 1911
+SHA256 1f1aa5fb634429ca0e1932a6c872d6a61256a631e82b45a83b6f7d1d7cbfa9d1 ChangeLog 1911
 MISC metadata.xml 798 RMD160 32c83a13312ab757086224c3b4969314259f9783 SHA1 8ccceaf01dc8ccf385e861c51e620996b5b1fee7 SHA256 bdb77dc26f3ce6e2e3f3f8aec8d5b4f06a245cf74b9c4d3c4b2765109c27927f
 MD5 5022bba58010f0110c7579195d3d41d0 metadata.xml 798
 RMD160 32c83a13312ab757086224c3b4969314259f9783 metadata.xml 798
 SHA256 bdb77dc26f3ce6e2e3f3f8aec8d5b4f06a245cf74b9c4d3c4b2765109c27927f metadata.xml 798
-MD5 785268f39557cbf43a9faf101de10bf2 files/digest-remember-1.9 235
-RMD160 9423ed168587acdac6bab75eccafcf19124cbfa9 files/digest-remember-1.9 235
-SHA256 cf393ddd95817de192fa337a009524d33995ec9ab27a0ba67a9dcf9212f8c1e4 files/digest-remember-1.9 235
 MD5 785268f39557cbf43a9faf101de10bf2 files/digest-remember-1.9-r1 235
 RMD160 9423ed168587acdac6bab75eccafcf19124cbfa9 files/digest-remember-1.9-r1 235
 SHA256 cf393ddd95817de192fa337a009524d33995ec9ab27a0ba67a9dcf9212f8c1e4 files/digest-remember-1.9-r1 235
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v1.4.7 (GNU/Linux)
 
-iD8DBQFGgLuaOeoy/oIi7uwRAsmGAJ9b1rV0NFXbrD+GvWfMy3UTir7/eACg4xYO
-AB0lGIlmuQGxh8qwuiZNVcc=
-=cnHR
+iD8DBQFHCqkuNQqtfCuFneMRAtSDAJ944wuPSFRBEtSlKBoKMxTVBD3b0ACgnyGY
+GA6wURArvMllwBW+FZfEIV4=
+=9yXG
 -----END PGP SIGNATURE-----