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

hanetzer · Jun 21, 2016 · 84224f2 · 84224f2
1 parent 23c0a5e
commit 84224f2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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? (