diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-02-07 13:50:40 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-02-07 13:50:40 +0100 |
| commit | 0dad6929d837bb643f4e260f9eb1ca16b6b6c0ba (patch) | |
| tree | 9d33fea48f3191cf996cd92b05a306c26dd68c26 /sci-mathematics/why3-for-spark | |
| parent | dev-python/statsmodels: Keyword 0.13.1 sparc, #831852 (diff) | |
| download | gentoo-0dad6929d837bb643f4e260f9eb1ca16b6b6c0ba.tar.gz gentoo-0dad6929d837bb643f4e260f9eb1ca16b6b6c0ba.tar.bz2 gentoo-0dad6929d837bb643f4e260f9eb1ca16b6b6c0ba.zip | |
sci-mathematics/why3-for-spark: works with new ocaml too
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild index b851107a4c41..2e831ddd9739 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -19,7 +19,7 @@ KEYWORDS="~amd64" IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip" RESTRICT="strip" -DEPEND="dev-lang/ocaml:0/4.11[ocamlopt?] +DEPEND=">=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:= dev-ml/num:= dev-ml/yojson:= |