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? (
