gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-05 12:38:09 -07:00
Code Issues Projects Releases Wiki Activity
Files
master
gentoo/dev-lang/polyml
History
Maciej Barć 1d44b65ee1 dev-lang/polyml: fix deps and lto build 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-08-19 17:45:00 +02:00
..
files
…
Manifest
…
metadata.xml
dev-lang/polyml: add to the Gentoo ML Project
2021-12-03 13:55:51 +01:00
polyml-5.9.1.ebuild
…
polyml-5.9.2-r1.ebuild
dev-lang/polyml: fix deps and lto build
2025-08-19 17:45:00 +02:00