summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sci-mathematics/coq/ChangeLog6
-rw-r--r--sci-mathematics/coq/coq-8.2_p1-r1.ebuild6
-rw-r--r--sci-mathematics/coq/coq-8.2_p2.ebuild4
-rw-r--r--sci-mathematics/coq/coq-8.3.ebuild6
-rw-r--r--sci-mathematics/coq/coq-8.3_p1.ebuild4
5 files changed, 15 insertions, 11 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index c78b6c28c4dd..9eda39d477a0 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,10 @@
# ChangeLog for sci-mathematics/coq
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.62 2011/02/21 18:45:10 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.63 2011/02/27 18:12:02 armin76 Exp $
+
+ 27 Feb 2011; Raúl Porcel <armin76@gentoo.org> coq-8.2_p1-r1.ebuild,
+ coq-8.2_p2.ebuild, coq-8.3.ebuild, coq-8.3_p1.ebuild:
+ Drop sparc keywords
21 Feb 2011; Markos Chandras <hwoarang@gentoo.org> coq-8.3_p1.ebuild:
Stable on amd64 wrt bug #355539
diff --git a/sci-mathematics/coq/coq-8.2_p1-r1.ebuild b/sci-mathematics/coq/coq-8.2_p1-r1.ebuild
index ad540ca85e6a..64370466da52 100644
--- a/sci-mathematics/coq/coq-8.2_p1-r1.ebuild
+++ b/sci-mathematics/coq/coq-8.2_p1-r1.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.9 2010/11/11 20:29:52 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.10 2011/02/27 18:12:02 armin76 Exp $
EAPI="2"
@@ -15,7 +15,7 @@ SRC_URI="http://coq.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ppc sparc x86"
+KEYWORDS="amd64 ppc x86"
IUSE="norealanalysis gtk debug +ocamlopt doc"
RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
diff --git a/sci-mathematics/coq/coq-8.2_p2.ebuild b/sci-mathematics/coq/coq-8.2_p2.ebuild
index f0a36a644326..6f45b693949c 100644
--- a/sci-mathematics/coq/coq-8.2_p2.ebuild
+++ b/sci-mathematics/coq/coq-8.2_p2.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v 1.5 2011/02/20 07:36:09 tomka Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v 1.6 2011/02/27 18:12:02 armin76 Exp $
EAPI=2
inherit eutils multilib
@@ -14,7 +14,7 @@ SRC_URI="http://coq.inria.fr/distrib/V${MY_PV}/files/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE="+realanalysis gtk debug +ocamlopt doc"
RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
diff --git a/sci-mathematics/coq/coq-8.3.ebuild b/sci-mathematics/coq/coq-8.3.ebuild
index 57f440b42075..41a1df0408c4 100644
--- a/sci-mathematics/coq/coq-8.3.ebuild
+++ b/sci-mathematics/coq/coq-8.3.ebuild
@@ -1,6 +1,6 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild,v 1.2 2010/11/20 12:44:09 tomka Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild,v 1.3 2011/02/27 18:12:02 armin76 Exp $
EAPI="2"
@@ -12,7 +12,7 @@ SRC_URI="http://${PN}.inria.fr/V${PV}/files/${P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
+KEYWORDS="~amd64 ~ppc ~x86"
IUSE="gtk debug +ocamlopt doc"
RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
diff --git a/sci-mathematics/coq/coq-8.3_p1.ebuild b/sci-mathematics/coq/coq-8.3_p1.ebuild
index 213e559c94c9..01f1ad079455 100644
--- a/sci-mathematics/coq/coq-8.3_p1.ebuild
+++ b/sci-mathematics/coq/coq-8.3_p1.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v 1.3 2011/02/21 18:45:10 hwoarang Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v 1.4 2011/02/27 18:12:02 armin76 Exp $
EAPI="2"
@@ -15,7 +15,7 @@ SRC_URI="http://${PN}.inria.fr/V${MY_PV}/files/${MY_P}.tar.gz"
LICENSE="LGPL-2.1"
SLOT="0"
-KEYWORDS="amd64 ~ppc ~sparc x86"
+KEYWORDS="amd64 ~ppc x86"
IUSE="gtk debug +ocamlopt doc"
RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]