This website requires JavaScript.
Explore
Help
Register
Sign In
gentoo-mirror
/
gentoo
Watch
1
Star
0
Fork
0
mirror of
https://github.com/gentoo-mirror/gentoo.git
synced
2026-11-07 05:57:07 -08:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
0b83ae58ad72467d325a96fac93993bf270a76ca
gentoo
/
dev-lang
/
polyml
T
History
David Seifert
d9ca22a902
dev-lang/polyml: remove implicit elibc_* flags
...
Signed-off-by: David Seifert <
soap@gentoo.org
>
2022-01-04 00:25:57 +01:00
..
files
…
Manifest
dev-lang/polyml: bump to 5.9
2021-12-03 13:55:51 +01:00
metadata.xml
…
polyml-5.8.2.ebuild
dev-lang/polyml: remove implicit elibc_* flags
2022-01-04 00:25:57 +01:00
polyml-5.8.ebuild
dev-lang/polyml: remove implicit elibc_* flags
2022-01-04 00:25:57 +01:00
polyml-5.9-r1.ebuild
dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static
2021-12-03 22:53:19 +01:00
