gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/sci-mathematics/alt-ergo
History
Alfredo Tupone a69e28c6d1
sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-09-25 08:03:22 +02:00
..
files
…
alt-ergo-2.4.3-r3.ebuild
…
Manifest
…
metadata.xml
…