sci-mathematics/coq: Remove := from || dep, #586304

diff --git a/sci-mathematics/coq/coq-8.4_p5.ebuild b/sci-mathematics/coq/coq-8.4_p5.ebuild
index 707a434eecad690acfc7c5a84681b5c3b2753abc..2cef57428602e8039166cbb570d4b84671cb7444 100644 (file)
--- 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 be183f11229dbc5c7c0d3f60a5cdb848b471c113..f2ad39107b83084c32e017600c1d50c7d729d281 100644 (file)
--- 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? (