From abaa75b10f899ada8dd05b23cc03205064394bc6 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 22 Jan 2021 20:28:19 +0000 Subject: gentoo resync : 22.01.2021 --- sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild') 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 ) -- cgit v1.2.3