all options
buster  ] [  bullseye  ] [  sid  ]
[ Source: polyml  ]

Package: libpolyml9 (5.7.1-4 and others)

Links for libpolyml9


Debian Resources:

Download Source Package polyml:


External Resources:

Similar packages:

runtime 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 run stand-alone executables built with Poly/ML.

Other Packages Related to libpolyml9

  • depends
  • recommends
  • suggests
  • enhances

Download libpolyml9

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.7.1-4 183.4 kB634.0 kB [list of files]
amd64 5.7.1-4+b1 187.1 kB573.0 kB [list of files]
arm64 5.7.1-4+b1 170.6 kB569.0 kB [list of files]
armel 5.7.1-4+b1 165.9 kB487.0 kB [list of files]
armhf 5.7.1-4+b1 164.7 kB387.0 kB [list of files]
hppa (unofficial port) 5.7.1-4+b1 196.4 kB634.0 kB [list of files]
i386 5.7.1-4+b1 200.2 kB559.0 kB [list of files]
ia64 (unofficial port) 5.7.1-4+b1 219.4 kB974.0 kB [list of files]
m68k (unofficial port) 5.7.1-4+b1 183.3 kB547.0 kB [list of files]
mips64el 5.7.1-4+b1 174.8 kB678.0 kB [list of files]
mipsel 5.7.1-4+b1 174.4 kB602.0 kB [list of files]
ppc64 (unofficial port) 5.7.1-4+b1 195.9 kB821.0 kB [list of files]
ppc64el 5.7.1-4+b1 191.9 kB693.0 kB [list of files]
riscv64 (unofficial port) 5.7.1-4+b1 180.3 kB511.0 kB [list of files]
s390x 5.7.1-4+b1 172.9 kB597.0 kB [list of files]
sparc64 (unofficial port) 5.7.1-4+b1 164.5 kB585.0 kB [list of files]
x32 (unofficial port) 5.7.1-4+b1 186.4 kB523.0 kB [list of files]