diff options
| author |   Travis Tilley <lv@gentoo.org> | 2004-07-14 01:34:36 +0000 |
|---|---|---|
| committer | Travis Tilley <lv@gentoo.org> | 2004-07-14 01:34:36 +0000 |
| commit | 706551ff87ff61a6fc85185175b5c882ee52becc (patch) | |
| tree | e5ba6ba4dc86debe9f76ae09eed19ffe25d795cd /app-sci/coq | |
| parent | inherit eutils (Manifest recommit) (diff) | |
| download | gentoo-2-706551ff87ff61a6fc85185175b5c882ee52becc.tar.gz gentoo-2-706551ff87ff61a6fc85185175b5c882ee52becc.tar.bz2 gentoo-2-706551ff87ff61a6fc85185175b5c882ee52becc.zip | |
~amd64
Diffstat (limited to 'app-sci/coq')
| -rw-r--r-- | app-sci/coq/ChangeLog | 5 | ||||
| -rw-r--r-- | app-sci/coq/coq-7.4.ebuild | 4 |
2 files changed, 6 insertions, 3 deletions
diff --git a/app-sci/coq/ChangeLog b/app-sci/coq/ChangeLog index 1bdabb32ec1c..0ef313d5f5bc 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.5 2004/07/09 21:42:17 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.6 2004/07/14 01:33:10 lv Exp $ + + 13 Jul 2004; Travis Tilley <lv@gentoo.org> coq-7.4.ebuild: + adding ~amd64 keyword *coq-8.0 (01 Jul 2004) diff --git a/app-sci/coq/coq-7.4.ebuild b/app-sci/coq/coq-7.4.ebuild index ded8274b4fa5..0ddb0cd4232b 100644 --- a/app-sci/coq/coq-7.4.ebuild +++ b/app-sci/coq/coq-7.4.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-7.4.ebuild,v 1.4 2004/06/24 21:56:14 agriffis Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-7.4.ebuild,v 1.5 2004/07/14 01:33:10 lv Exp $ inherit eutils @@ -10,7 +10,7 @@ SRC_URI="ftp://ftp.inria.fr/INRIA/${PN}/V${PV}/${P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="x86 ppc" +KEYWORDS="x86 ppc ~amd64" IUSE="norealanalysis" DEPEND=">=dev-lang/ocaml-3.06" |