diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-07-15 23:34:42 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-16 00:15:40 +0200 |
| commit | 48eef3e4c4d525ecba7612398a4b75cce74f76a6 (patch) | |
| tree | 34836efe28ab1102d21df6c6a4a86fa72a705133 /sci-mathematics | |
| parent | games-strategy/dunelegacy: libsdl2 will drop the threads USE flag, EAPI 8 (diff) | |
| download | gentoo-48eef3e4c4d525ecba7612398a4b75cce74f76a6.tar.gz gentoo-48eef3e4c4d525ecba7612398a4b75cce74f76a6.tar.bz2 gentoo-48eef3e4c4d525ecba7612398a4b75cce74f76a6.zip | |
sci-mathematics/alt-ergo: restrict zarith version
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.3-r1.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild) | 4 |
1 files 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 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 |