diff options
Diffstat (limited to 'app-sci/coq/coq-7.4.ebuild')
| -rw-r--r-- | app-sci/coq/coq-7.4.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app-sci/coq/coq-7.4.ebuild b/app-sci/coq/coq-7.4.ebuild index 57fb792f0829..3f995e444308 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 Technologies, Inc. # 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.1 2004/01/21 23:05:55 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-7.4.ebuild,v 1.2 2004/04/02 21:02:45 mattam Exp $ IUSE="norealanalysis" @@ -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" DEPEND=">=dev-lang/ocaml-3.06" |