summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-02-08 07:13:03 +0000
committerSam James <sam@gentoo.org>2021-02-08 07:13:12 +0000
commit70c713a0bcc9302c5a9a919a6c4a5a2699e26942 (patch)
tree54d8f4c12a66371cbd4b170c35894b83644e320f
parentsys-fs/lxcfs: remove old 4.0.6 (diff)
downloadgentoo-70c713a0bcc9302c5a9a919a6c4a5a2699e26942.tar.gz
gentoo-70c713a0bcc9302c5a9a919a6c4a5a2699e26942.tar.bz2
gentoo-70c713a0bcc9302c5a9a919a6c4a5a2699e26942.zip
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@gentoo.org>
-rw-r--r--sci-mathematics/coq/coq-8.12.0-r1.ebuild (renamed from sci-mathematics/coq/coq-8.12.0.ebuild)10
1 files 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
index f057ce34b154..184f6501ee75 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? (