all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: polyml  ]

Package: polyml (5.7.1-1 and others)

Links for polyml

Screenshot

Debian Resources:

Download Source Package polyml:

Maintainers:

External Resources:

Similar packages:

interpreter and interactive 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 top-level interpreter and compiler.

Tags: Software Development: Compiler, Interpreter, ML Development, Role: Program

Other Packages Related to polyml

  • depends
  • recommends
  • suggests
  • enhances

Download polyml

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.7.1-1 1,714.2 kB14,674.0 kB [list of files]
amd64 5.7.1-1 1,948.5 kB17,995.0 kB [list of files]
arm64 5.7.1-1 1,725.5 kB14,670.0 kB [list of files]
armel 5.7.1-1 1,049.2 kB6,550.0 kB [list of files]
armhf 5.7.1-1 1,047.4 kB6,550.0 kB [list of files]
hppa (unofficial port) 5.7.1-1 849.9 kB3,886.0 kB [list of files]
hurd-i386 5.7.1-1 1,202.1 kB8,803.0 kB [list of files]
i386 5.7.1-1 1,202.5 kB8,803.0 kB [list of files]
kfreebsd-amd64 5.7.1-1 1,948.9 kB17,995.0 kB [list of files]
kfreebsd-i386 5.7.1-1 1,202.0 kB8,803.0 kB [list of files]
m68k (unofficial port) 5.7.1-1 1,546.8 kB7,893.0 kB [list of files]
mips 5.7.1-1 1,010.0 kB6,551.0 kB [list of files]
mips64el 5.7.1-1 1,107.0 kB12,016.0 kB [list of files]
mipsel 5.7.1-1 1,046.0 kB6,551.0 kB [list of files]
powerpc 5.7.1-1 1,085.1 kB7,974.0 kB [list of files]
powerpcspe (unofficial port) 5.7.1-1 1,087.6 kB7,974.0 kB [list of files]
ppc64 (unofficial port) 5.7.1-1 1,620.7 kB14,786.0 kB [list of files]
ppc64el 5.7.1-1 1,729.0 kB14,786.0 kB [list of files]
s390x 5.7.1-1 1,641.9 kB14,666.0 kB [list of files]
sh4 (unofficial port) 5.6-8 653.4 kB7,149.0 kB [list of files]
sparc64 (unofficial port) 5.7.1-1 1,184.7 kB14,675.0 kB [list of files]
x32 (unofficial port) 5.7.1-1 1,672.2 kB7,870.0 kB [list of files]