diff options
Diffstat (limited to 'sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild index 7f950f433a25..bbe4688b7840 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.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 @@ -12,16 +12,16 @@ SLOT="0" KEYWORDS="amd64" IUSE="examples gtk +ocamlopt" -DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?] - dev-ml/zarith - dev-ml/lablgtk:2[sourceview,ocamlopt?] +DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=] + dev-ml/zarith:= + dev-ml/lablgtk:2=[sourceview,ocamlopt=] dev-ml/camlzip sci-mathematics/psmt2-frontend - >=dev-ml/ocplib-simplex-0.4 - >=dev-ml/menhir-20181006 - dev-ml/seq - dev-ml/dune - dev-ml/num" + >=dev-ml/ocplib-simplex-0.4:= + >=dev-ml/menhir-20181006:= + dev-ml/seq:= + dev-ml/dune:= + dev-ml/num:=" RDEPEND="${DEPEND}" DOCS=( CHANGES INSTALL.md README.md ) |