Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-lang
/
polyml
Poly/ML is a full implementation of Standard ML
https://www.polyml.org
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Latest Commits
Commits on Jan 03, 2022
dev-lang/polyml: remove implicit elibc_* flags
d9ca22a
David Seifert
committed on 3 Jan 2022 23:25:57
polyml-5.8.2.ebuild
polyml-5.8.ebuild
Commits on Dec 03, 2021
dev-lang/polyml: dev-libs/gmp slot; no need for --disable-static
6b37da4
Maciej Barć
committed on 3 Dec 2021 21:53:19
polyml-5.9-r1.ebuild
polyml-5.9.ebuild
dev-lang/polyml: bump to 5.9
56540ed
Maciej Barć
committed on 3 Dec 2021 12:55:51
polyml-5.9.ebuild
Manifest
dev-lang/polyml: add to the Gentoo ML Project
a661efa
Maciej Barć
committed on 3 Dec 2021 12:55:51
metadata.xml
Commits on Sep 11, 2021
**/metadata.xml: Replace http by https in DOCTYPE element
38b155f
Ulrich Müller
committed on 11 Sep 2021 13:22:48
metadata.xml