» Ubuntu » Packages » bionic (18.04LTS) » interpreters » polyml
trusty  ] [  xenial  ] [  bionic  ] [  cosmic  ] [  disco  ]
[ Source: polyml  ]

Package: polyml (5.7.1-1) [universe]

Links for polyml


Ubuntu Resources:

Download Source Package polyml:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

interpreter and interactive compiler for Standard ML

Other Packages Related to polyml

  • depends
  • recommends
  • suggests
  • enhances
  • dep: file
    Recognize the type of data in a file using "magic" numbers
  • dep: g++
    GNU C++ compiler
  • dep: libc6 (>= 2.1.3) [i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.2) [s390x]
    dep: libc6 (>= 2.2.5) [amd64]
    dep: libc6 (>= 2.4) [armhf]
  • dep: libffi-dev
    Foreign Function Interface library (development files)
  • dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)
    runtime files for Poly/ML, a compiler for Standard ML
  • dep: polyml-modules (= 5.7.1-1)
    modules for Poly/ML, a compiler for Standard ML

Download polyml

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 1,947.8 kB17,995.0 kB [list of files]
arm64 1,714.5 kB14,674.0 kB [list of files]
armhf 1,042.0 kB6,550.0 kB [list of files]
i386 1,197.9 kB8,803.0 kB [list of files]
ppc64el 1,708.8 kB14,786.0 kB [list of files]
s390x 1,625.6 kB14,666.0 kB [list of files]