commit: 48eef3e4c4d525ecba7612398a4b75cce74f76a6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jul 15 21:34:42 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jul 15 22:15:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48eef3e4
sci-mathematics/alt-ergo: restrict zarith version
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.3.ebuild => alt-ergo-2.4.3-r1.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
similarity index 95%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
index e06cf284f0e1..ecaf54aae4a4 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -27,13 +27,13 @@ RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:=
+ <dev-ml/zarith-1.14:=
>=dev-ml/cmdliner-1.1.0:=
>=dev-ml/menhir-20181006:=
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
dev-ml/num:=
dev-ml/stdlib-shims:=
- dev-ml/zarith:=
gui? (
dev-ml/lablgtk:3
dev-ml/lablgtk-sourceview:3
