[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/

["Sam James" <sam@gentoo.org>]

commit:     70c713a0bcc9302c5a9a919a6c4a5a2699e26942
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Feb  8 07:13:03 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Feb  8 07:13:12 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70c713a0

sci-mathematics/coq: lower OCaml dep

Bug: https://bugs.gentoo.org/769317
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>

 .../coq/{coq-8.12.0.ebuild => coq-8.12.0-r1.ebuild}            | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/sci-mathematics/coq/coq-8.12.0.ebuild b/sci-mathematics/coq/coq-8.12.0-r1.ebuild
similarity index 94%
rename from sci-mathematics/coq/coq-8.12.0.ebuild
rename to sci-mathematics/coq/coq-8.12.0-r1.ebuild
index f057ce34b15..184f6501ee7 100644
--- a/sci-mathematics/coq/coq-8.12.0.ebuild
+++ b/sci-mathematics/coq/coq-8.12.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -20,13 +20,15 @@ IUSE="gtk debug +ocamlopt doc"
 RESTRICT=test
 
 RDEPEND="
-	>=dev-lang/ocaml-4.11.0:=[ocamlopt?]
 	dev-ml/camlp5:=[ocamlopt?]
-	dev-ml/num:=
+	|| (
+		dev-ml/num
+		<dev-lang/ocaml-4.09.0[ocamlopt?]
+	)
 	gtk? (
 		dev-ml/lablgtk:3=[sourceview,ocamlopt?]
 		dev-ml/lablgtk-sourceview:3=[ocamlopt?]
-		)"
+	)"
 DEPEND="${RDEPEND}
 	dev-ml/findlib
 	doc? (