commit: a74305078b85502b6813e5bb3a746e5c82dc5c55
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 21 01:36:06 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Jun 21 01:36:06 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7430507
sci-mathematics/alt-ergo: fix OCaml dep
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.3.0.ebuild => alt-ergo-2.3.0-r1.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
similarity index 95%
rename from sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.ebuild
index bbe4688b7840..6dbe4ce6fc63 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0-r1.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
@@ -15,7 +15,7 @@ IUSE="examples gtk +ocamlopt"
DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
dev-ml/zarith:=
dev-ml/lablgtk:2=[sourceview,ocamlopt=]
- dev-ml/camlzip
+ dev-ml/camlzip:=
sci-mathematics/psmt2-frontend
>=dev-ml/ocplib-simplex-0.4:=
>=dev-ml/menhir-20181006:=
