[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/alt-ergo/

["Maciej Barć" <xgqt@gentoo.org>]

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