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

Package: polyml-modules (5.7.1-5 and others)

Links for polyml-modules

Screenshot

Debian Resources:

Download Source Package polyml:

Maintainers:

External Resources:

Similar packages:

modules 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 standard modules for Poly/ML.

Download polyml-modules

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.7.1-5 474.7 kB4,791.0 kB [list of files]
amd64 5.7.1-5+b1 487.2 kB4,844.0 kB [list of files]
arm64 5.7.1-5+b1 474.7 kB4,792.0 kB [list of files]
armel 5.7.1-5+b1 455.3 kB2,867.0 kB [list of files]
armhf 5.7.1-5+b1 460.0 kB2,867.0 kB [list of files]
hppa (unofficial port) 5.7.1-5 436.8 kB2,866.0 kB [list of files]
i386 5.7.1-5+b1 465.8 kB2,905.0 kB [list of files]
ia64 (unofficial port) 5.7.1-5 488.9 kB4,791.0 kB [list of files]
m68k (unofficial port) 5.7.1-5 438.6 kB2,866.0 kB [list of files]
mips64el 5.7.1-5+b1 475.2 kB4,792.0 kB [list of files]
ppc64 (unofficial port) 5.7.1-5 455.8 kB4,791.0 kB [list of files]
ppc64el 5.7.1-5+b1 474.7 kB4,792.0 kB [list of files]
riscv64 5.7.1-5+b1 475.7 kB4,792.0 kB [list of files]
s390x 5.7.1-5+b1 457.0 kB4,792.0 kB [list of files]
sparc64 (unofficial port) 5.7.1-5 455.0 kB4,791.0 kB [list of files]
x32 (unofficial port) 5.7.1-5 456.3 kB2,866.0 kB [list of files]