gpo.zugaina.org

Search Portage & Overlays:

dev-lang/polyml

Poly/ML is a full implementation of Standard ML

Screenshots

  • polyml-5.9.1
    ~amd64 ~x86
    X +gmp portable

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo
  • polyml-5.9-r2
    ~amd64 ~x86
    X +gmp portable

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo

USE Flags

X
Global: Adds support for X11
+gmp
* This flag is undocumented *
portable
* This flag is undocumented *