gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 09:07:26 -08:00
Code Issues Projects Releases Wiki Activity
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
…
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