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
3
Security
0
Changelog
Available Versions
Version
amd64
x86
alpha
arm
arm64
hppa
mips
ppc
ppc64
riscv
sparc
5.9.1
: 0/5.9.1
EAPI 8
~amd64
~x86
?alpha
?arm
?arm64
?hppa
?mips
?ppc
?ppc64
?riscv
?sparc
5.9-r2
: 0/5.9
EAPI 8
~amd64
~x86
?alpha
?arm
?arm64
?hppa
?mips
?ppc
?ppc64
?riscv
?sparc
Package Metadata
Other homepage(s)
https://github.com/polyml/polyml/
Upstream
Remote-Id
https://github.com/polyml/polyml
https://sourceforge.net/projects/polyml/
USE flags
Local Use Flags
portable
Global Use Flags
+gmp
X
License
LGPL-2.1
Maintainer(s)
ML
External Resources
Related bugs
CI Report
(
verbose
)
Repology
Open Pull Requests
Documentation
Forums posts
Git repository browser
Git log
(
short
)
Changes Feed