diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-01-22 20:28:19 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-01-22 20:28:19 +0000 |
| commit | abaa75b10f899ada8dd05b23cc03205064394bc6 (patch) | |
| tree | eca3dd248b73b92013cba00a0fcc1edf2696e19a /sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | |
| parent | 24fd814c326e282c4321965c31f341dad77e270d (diff) | |
gentoo resync : 22.01.2021
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild index 7b658828da45..9fa713b6baaa 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r2.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 @@ -14,20 +14,20 @@ LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64" IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip" -RESTRICT=strip +RESTRICT="strip" -DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?] +DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 - dev-ml/menhir - dev-ml/num + dev-ml/menhir:= + dev-ml/num:= coq? ( >=sci-mathematics/coq-8.9.1 ) doc? ( dev-tex/rubber ) - gtk? ( >=dev-ml/lablgtk-2.18.8[sourceview] ) + gtk? ( >=dev-ml/lablgtk-2.18.8:=[sourceview] ) emacs? ( >=app-editors/emacs-23.1:* ) - html? ( dev-tex/hevea ) - hypothesis-selection? ( dev-ml/ocamlgraph ) - zarith? ( dev-ml/zarith ) - zip? ( >=dev-ml/camlzip-1.07 )" + html? ( dev-tex/hevea:= ) + hypothesis-selection? ( dev-ml/ocamlgraph:= ) + zarith? ( dev-ml/zarith:= ) + zip? ( >=dev-ml/camlzip-1.07:= )" RDEPEND="${DEPEND}" S="${WORKDIR}"/${MYP} |