summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason Wever <weeve@gentoo.org>2004-08-14 04:42:52 +0000
committerJason Wever <weeve@gentoo.org>2004-08-14 04:42:52 +0000
commit13ae51d32deb3836ac32f33f7d44a4878ae1724c (patch)
tree5ca03e3e0f1364491011b7c90b879f10f5b3d670 /app-sci
parentStable on sparc. (Manifest recommit) (diff)
downloadgentoo-2-13ae51d32deb3836ac32f33f7d44a4878ae1724c.tar.gz
gentoo-2-13ae51d32deb3836ac32f33f7d44a4878ae1724c.tar.bz2
gentoo-2-13ae51d32deb3836ac32f33f7d44a4878ae1724c.zip
Added ~sparc keyword.
Diffstat (limited to 'app-sci')
-rw-r--r--app-sci/coq/ChangeLog5
-rw-r--r--app-sci/coq/coq-8.0-r1.ebuild4
2 files changed, 6 insertions, 3 deletions
diff --git a/app-sci/coq/ChangeLog b/app-sci/coq/ChangeLog
index a2acdb960720..97dc87cb3472 100644
--- a/app-sci/coq/ChangeLog
+++ b/app-sci/coq/ChangeLog
@@ -1,6 +1,9 @@
# ChangeLog for app-sci/coq
# Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.7 2004/08/08 07:00:05 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.8 2004/08/14 04:42:52 weeve Exp $
+
+ 13 Aug 2004; Jason Wever <weeve@gentoo.org> coq-8.0-r1.ebuild:
+ Added ~sparc keyword.
*coq-8.0-r1 (08 Aug 2004)
diff --git a/app-sci/coq/coq-8.0-r1.ebuild b/app-sci/coq/coq-8.0-r1.ebuild
index 64623533f745..14497994a124 100644
--- a/app-sci/coq/coq-8.0-r1.ebuild
+++ b/app-sci/coq/coq-8.0-r1.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0-r1.ebuild,v 1.1 2004/08/08 07:00:05 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0-r1.ebuild,v 1.2 2004/08/14 04:42:52 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"
+KEYWORDS="~x86 ~ppc ~sparc"
DEPEND=">=dev-lang/ocaml-3.06
ide? ( >=dev-ml/lablgtk-2.2.0 )"