gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2025-09-25 08:02:24 +02:00
parent 6402596af7
commit a69e28c6d1
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild → sci-mathematics/alt-ergo/alt-ergo-2.4.3-r3.ebuild
View File

@@ -24,7 +24,6 @@ IUSE="examples gui +ocamlopt"
REQUIRED_USE="ocamlopt" REQUIRED_USE="ocamlopt"
RDEPEND=" RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:= >=sci-mathematics/psmt2-frontend-0.4.0:=
<dev-ml/ocplib-simplex-0.5:= <dev-ml/ocplib-simplex-0.5:=