sci-mathematics/coq stable on ppc.

Package-Manager: portage-2.1.2_pre1-r1

3 files changed, 14 insertions, 21 deletions

diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index ed5eb4bcae35..e0d87296373d 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,9 @@
 # ChangeLog for sci-mathematics/coq
 # Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.10 2006/09/15 19:01:35 gustavoz Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.11 2006/09/24 09:16:43 hansmi Exp $
+
+  24 Sep 2006; Michael Hanselmann <hansmi@gentoo.org> coq-8.0_p3.ebuild:
+  Stable on ppc.
 
   15 Sep 2006; Gustavo Zacarias <gustavoz@gentoo.org> coq-8.0_p3.ebuild:
   Stable on sparc
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index 3e5756d2f5eb..389d1e6cb437 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -1,6 +1,3 @@
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA1
-
 AUX coq-8.0-byteflags.patch 676 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 SHA1 7f2d8d87a2743ed0bfc1cb45ebaf8acf1ddcc11d SHA256 4bdd7fcddd5a1f845be8df40f9a5b7d7fee1cf88bb744866804ab1da4253a2d5
 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
 RMD160 c426bf5a23e83b354574b78f084d521fedc1c325 files/coq-8.0-byteflags.patch 676
@@ -26,14 +23,14 @@ EBUILD coq-8.0-r1.ebuild 2067 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 SH
 MD5 4a4ffa884422004f87fb79781054f44b coq-8.0-r1.ebuild 2067
 RMD160 644b4b4584739516781beed6ae2cf45d1d1840d1 coq-8.0-r1.ebuild 2067
 SHA256 fed6aac37fc0537174cc37f16e4afa53d19868ae5a4ed1ddc30628d05febcc20 coq-8.0-r1.ebuild 2067
-EBUILD coq-8.0_p3.ebuild 2053 RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 SHA1 252aa18197fa50853594c82d577b364a5ebcf157 SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597
-MD5 253d103e005e0e6c78757821d59857b5 coq-8.0_p3.ebuild 2053
-RMD160 62c0e60f0bfb398102419a0b8ba4e58cf02c1680 coq-8.0_p3.ebuild 2053
-SHA256 33d8042f307ce8fd1436be66245c3cb71bed51564aa8a3cd0ba97aafae282597 coq-8.0_p3.ebuild 2053
-MISC ChangeLog 2998 RMD160 380a342ac7c4199c90f50992508f49798d61e90c SHA1 2fe0cb124fe729c30f46b9e416cb82b103c959a2 SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f
-MD5 0c651381d712216e4a0d2a746bf2c99c ChangeLog 2998
-RMD160 380a342ac7c4199c90f50992508f49798d61e90c ChangeLog 2998
-SHA256 364e79bf4f7ba6e153d5d12f1898c2d1c6a5a4a28d663a0941be25fa8b4dbb9f ChangeLog 2998
+EBUILD coq-8.0_p3.ebuild 2050 RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f SHA1 ed223f6629ee4366e5b7e0a9615c8ad030496139 SHA256 472b2acadf94214a39e8bf27ce81aff06c80ec825fad82cee5d7da30a61ec24a
+MD5 b0895b8ac7e7a80cc4eb3b4ffa0cbfb7 coq-8.0_p3.ebuild 2050
+RMD160 e122aa9d58692667b9ee7a6a2a8edb3490ab044f coq-8.0_p3.ebuild 2050
+SHA256 472b2acadf94214a39e8bf27ce81aff06c80ec825fad82cee5d7da30a61ec24a coq-8.0_p3.ebuild 2050
+MISC ChangeLog 3087 RMD160 09af847784b5106a0474cbd924b6efd6b004a94b SHA1 7c6b04fa2b14192ce24b94bc4c26b995e8b9906b SHA256 08843b1c6188a2bbd736f23a9ffc6c39131e020ebada16d892148bb11d08ab5e
+MD5 1c9d50d0d4512dfaabb7d6a8bf93321c ChangeLog 3087
+RMD160 09af847784b5106a0474cbd924b6efd6b004a94b ChangeLog 3087
+SHA256 08843b1c6188a2bbd736f23a9ffc6c39131e020ebada16d892148bb11d08ab5e ChangeLog 3087
 MISC metadata.xml 245 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 SHA1 c4b88bc0384a23bb4d4a6ab24185515911452b1b SHA256 34da41cb737e4ef4b13d5e934c9800a1e9ea05016fdfd4b8285eb16c51f9e140
 MD5 051b19b1bff1e9764732760637bf1594 metadata.xml 245
 RMD160 1ced74b1aec8b3f12cfd97119ca6b3bd7de954a2 metadata.xml 245
@@ -44,10 +41,3 @@ SHA256 a3b19476c72b3a27e40f09715030ceb8a0ec7ab781257b8542e9cba0f8c7cb3a files/di
 MD5 07d28c72f4d0913e374c8acba9a363b8 files/digest-coq-8.0_p3 765
 RMD160 0eb02a90f6cb1bd9b1174cf2fc2e724a4f50cee9 files/digest-coq-8.0_p3 765
 SHA256 d1900263704dc613417b872026abf1bde19771a25ebd7c0a09e7c82ee1201ec6 files/digest-coq-8.0_p3 765
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v1.4.5-ecc0.1.6 (GNU/Linux)
-
-iD8DBQFFCvidKRy60XGEcJIRAgBKAJ9TtmW0h9GUosmgaTyJ1kKqrkmpDQCfWa8T
-gh+Jl1abvdRlyBKjcpwfJkw=
-=ld7w
------END PGP SIGNATURE-----
diff --git a/sci-mathematics/coq/coq-8.0_p3.ebuild b/sci-mathematics/coq/coq-8.0_p3.ebuild
index c601f65fde46..9545e05f2d0f 100644
--- a/sci-mathematics/coq/coq-8.0_p3.ebuild
+++ b/sci-mathematics/coq/coq-8.0_p3.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2006 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.4 2006/09/15 19:01:35 gustavoz Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.5 2006/09/24 09:16:43 hansmi Exp $
 
 inherit eutils
 
@@ -19,7 +19,7 @@ translator? ( ftp://ftp.inria.fr/INRIA/coq/V${MY_PV}/${MY_P}-translator.tar.gz )
 
 LICENSE="LGPL-2.1"
 SLOT="0"
-KEYWORDS="x86 ~ppc sparc amd64"
+KEYWORDS="amd64 ppc sparc x86"
 
 DEPEND=">=dev-lang/ocaml-3.08
 ide? ( >=dev-ml/lablgtk-2.2.0 )"