diff options
| author |   Sam James <sam@gentoo.org> | 2021-02-08 07:13:03 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-02-08 07:13:12 +0000 |
| commit | 70c713a0bcc9302c5a9a919a6c4a5a2699e26942 (patch) | |
| tree | 54d8f4c12a66371cbd4b170c35894b83644e320f /sci-mathematics | |
| parent | sys-fs/lxcfs: remove old 4.0.6 (diff) | |
| download | gentoo-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>
Diffstat (limited to 'sci-mathematics')
| -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? ( |