Stable on SPARC.

(Portage version: 2.1_pre10-r2)

4 files changed, 18 insertions, 5 deletions

diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index 896530efc1b5..510f5a4d6e2a 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.6 2006/02/06 15:18:30 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.7 2006/05/03 01:10:42 weeve Exp $
+
+  03 May 2006; Jason Wever <weeve@gentoo.org> coq-8.0-r1.ebuild:
+  Stable on SPARC.
 
   06 Feb 2006; Matthieu Sozeau <mattam@gentoo.org> coq-8.0_p3.ebuild:
   Correct patch path.
diff --git a/sci-mathematics/coq/coq-8.0-r1.ebuild b/sci-mathematics/coq/coq-8.0-r1.ebuild
index 68b030deb7b6..8a6059d365a1 100644
--- a/sci-mathematics/coq/coq-8.0-r1.ebuild
+++ b/sci-mathematics/coq/coq-8.0-r1.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-r1.ebuild,v 1.4 2006/02/04 17:15:51 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0-r1.ebuild,v 1.5 2006/05/03 01:10:42 weeve Exp $
 
 inherit eutils
 
@@ -18,7 +18,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.06
 ide? ( >=dev-ml/lablgtk-2.2.0 )"
diff --git a/sci-mathematics/coq/files/digest-coq-8.0-r1 b/sci-mathematics/coq/files/digest-coq-8.0-r1
index 73335eb85772..ce6925235d8c 100644
--- a/sci-mathematics/coq/files/digest-coq-8.0-r1
+++ b/sci-mathematics/coq/files/digest-coq-8.0-r1
@@ -1,2 +1,6 @@
-MD5 95237e64081d7306fdea49e1988bde12 coq-8.0pl1.tar.gz 2272613
 MD5 58a3c3c6e3903b0267857d283047c7e3 coq-8.0pl1-translator.tar.gz 233233
+RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e coq-8.0pl1-translator.tar.gz 233233
+SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340 coq-8.0pl1-translator.tar.gz 233233
+MD5 95237e64081d7306fdea49e1988bde12 coq-8.0pl1.tar.gz 2272613
+RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 coq-8.0pl1.tar.gz 2272613
+SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 coq-8.0pl1.tar.gz 2272613
diff --git a/sci-mathematics/coq/files/digest-coq-8.0_p3 b/sci-mathematics/coq/files/digest-coq-8.0_p3
index 388defd20836..5d39e29b2217 100644
--- a/sci-mathematics/coq/files/digest-coq-8.0_p3
+++ b/sci-mathematics/coq/files/digest-coq-8.0_p3
@@ -1,3 +1,9 @@
-MD5 c98d4cefd119accb1ecdeebb41128822 coq-8.0pl3.tar.gz 2309002
 MD5 028d27ab3b2eb4ac5d223597b655c833 coq-8.0_p3-ocaml-3.09.patch.gz 5256
+RMD160 17dd484a71ddcf5724435ef7386db070b9840949 coq-8.0_p3-ocaml-3.09.patch.gz 5256
+SHA256 6eacae4a27de43e5cef2ef8c5971f869bf0df291436aa1ac573fd8bf7ae698fc coq-8.0_p3-ocaml-3.09.patch.gz 5256
 MD5 78bbf518d2e15c8306f692707c24be1c coq-8.0pl3-translator.tar.gz 233228
+RMD160 7dd748ee5929faf93ca75bec94b443573405b0fe coq-8.0pl3-translator.tar.gz 233228
+SHA256 78def7e2998526db8c5740580113802a821c31de65bb12a7c74c512f6a9328f7 coq-8.0pl3-translator.tar.gz 233228
+MD5 c98d4cefd119accb1ecdeebb41128822 coq-8.0pl3.tar.gz 2309002
+RMD160 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7 coq-8.0pl3.tar.gz 2309002
+SHA256 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c coq-8.0pl3.tar.gz 2309002