commit: 84224f26f9c893299a487431e2ee005b1795f01c
Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 21 20:24:28 2016 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Tue Jun 21 20:32:45 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=84224f26
sci-mathematics/coq: Remove := from || dep, #586304
sci-mathematics/coq/coq-8.4_p5.ebuild | 4 ++--
sci-mathematics/coq/coq-8.4_p6.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/coq/coq-8.4_p5.ebuild
b/sci-mathematics/coq/coq-8.4_p5.ebuild
index 707a434..2cef574 100644
--- a/sci-mathematics/coq/coq-8.4_p5.ebuild
+++ b/sci-mathematics/coq/coq-8.4_p5.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -21,7 +21,7 @@ IUSE="gtk debug +ocamlopt doc camlp5"
RDEPEND="
>=dev-lang/ocaml-3.11.2:=[ocamlopt?]
camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] )
- !camlp5? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) )
+ !camlp5? ( || ( dev-ml/camlp4 <dev-lang/ocaml-4.02.0 ) )
gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] )"
DEPEND="${RDEPEND}
doc? (
diff --git a/sci-mathematics/coq/coq-8.4_p6.ebuild
b/sci-mathematics/coq/coq-8.4_p6.ebuild
index be183f1..f2ad391 100644
--- a/sci-mathematics/coq/coq-8.4_p6.ebuild
+++ b/sci-mathematics/coq/coq-8.4_p6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -21,7 +21,7 @@ IUSE="gtk debug +ocamlopt doc camlp5"
RDEPEND="
>=dev-lang/ocaml-3.11.2:=[ocamlopt?]
camlp5? ( >=dev-ml/camlp5-6.02.3:=[ocamlopt?] )
- !camlp5? ( || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) )
+ !camlp5? ( || ( dev-ml/camlp4 <dev-lang/ocaml-4.02.0 ) )
gtk? ( >=dev-ml/lablgtk-2.10.1:=[ocamlopt?] )"
DEPEND="${RDEPEND}
doc? (
