Binary package “libpolyml-dev” in ubuntu xenial
development files for Poly/ML, a compiler for Standard ML
Poly/ML is an implementation of the Standard ML programming language
Standard ML is a general-purpose, modular, type-safe, strict,
functional programming language. Poly/ML is SML 97 compliant
interpreter and compiler that supports the generation of stand-alone
executables with an interactive toplevel (REPL).
.
This package provides the files needed to compile stand-alone executables
with Poly/ML.
Source package
Published versions
- libpolyml-dev 5.2.1-1.1 in amd64 (Release)
- libpolyml-dev 5.6-3 in amd64 (Proposed)
- libpolyml-dev 5.6-3 in amd64 (Release)
- libpolyml-dev 5.6-3 in arm64 (Proposed)
- libpolyml-dev 5.6-3 in arm64 (Release)
- libpolyml-dev 5.2.1-1.1 in armhf (Release)
- libpolyml-dev 5.6-3 in armhf (Proposed)
- libpolyml-dev 5.6-3 in armhf (Release)
- libpolyml-dev 5.2.1-1.1 in i386 (Release)
- libpolyml-dev 5.6-3 in i386 (Proposed)
- libpolyml-dev 5.6-3 in i386 (Release)
- libpolyml-dev 5.2.1-1.1 in powerpc (Release)
- libpolyml-dev 5.6-3 in powerpc (Proposed)
- libpolyml-dev 5.6-3 in powerpc (Release)
- libpolyml-dev 5.6-3 in ppc64el (Proposed)
- libpolyml-dev 5.6-3 in ppc64el (Release)
- libpolyml-dev 5.6-3 in s390x (Proposed)
- libpolyml-dev 5.6-3 in s390x (Release)