gentoo.LinuxHowtos.org

Details of dev-lang/polyml:

Description: Poly/ML is a full implementation of Standard ML
Homepage: https://www.polyml.org/ https://github.com/polyml/polyml/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
polyml-5.9.1 -------------X
+gmp
portable
show
show
polyml-5.9-r2 -~----------~X
+gmp
portable
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back