diff options
Diffstat (limited to 'app-sci/coq/coq-8.0.ebuild')
| -rw-r--r-- | app-sci/coq/coq-8.0.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/app-sci/coq/coq-8.0.ebuild b/app-sci/coq/coq-8.0.ebuild index 0e548828c481..9a5ec212a4ce 100644 --- a/app-sci/coq/coq-8.0.ebuild +++ b/app-sci/coq/coq-8.0.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.ebuild,v 1.2 2004/07/09 21:42:18 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0.ebuild,v 1.3 2004/08/08 07:00:05 mattam Exp $ inherit eutils @@ -18,6 +18,7 @@ SLOT="0" KEYWORDS="~x86 ~ppc" DEPEND=">=dev-lang/ocaml-3.06 +!>=dev-lang/ocaml-3.08 ide? ( >=dev-ml/lablgtk-2.2.0 )" S="${WORKDIR}/${P/_/}" |