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

Package: libpolyml-dev (5.7.1-2 and others)

Links for libpolyml-dev


Debian Resources:

Download Source Package polyml:


External Resources:

Similar packages:

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.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libpolyml-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libpolyml-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.7.1-1 255.0 kB1,690.0 kB [list of files]
amd64 5.7.1-2 217.1 kB1,200.0 kB [list of files]
arm64 5.7.1-2 220.4 kB1,252.0 kB [list of files]
armel 5.7.1-2 208.5 kB934.0 kB [list of files]
armhf 5.7.1-2 207.7 kB840.0 kB [list of files]
hppa (unofficial port) 5.7.1-2 228.4 kB1,015.0 kB [list of files]
hurd-i386 5.7.1-2 237.9 kB977.0 kB [list of files]
i386 5.7.1-2 238.4 kB979.0 kB [list of files]
kfreebsd-amd64 5.7.1-2 217.3 kB1,191.0 kB [list of files]
kfreebsd-i386 5.7.1-2 238.2 kB979.0 kB [list of files]
m68k (unofficial port) 5.7.1-2 197.9 kB901.0 kB [list of files]
mips 5.7.1-2 239.0 kB1,090.0 kB [list of files]
mips64el 5.7.1-2 250.0 kB1,582.0 kB [list of files]
mipsel 5.7.1-2 244.6 kB1,090.0 kB [list of files]
powerpcspe (unofficial port) 5.7.1-2 211.3 kB970.0 kB [list of files]
ppc64 (unofficial port) 5.7.1-2 233.0 kB1,431.0 kB [list of files]
ppc64el 5.7.1-2 236.1 kB1,385.0 kB [list of files]
riscv64 (unofficial port) 5.7.1-2+b1 507.8 kB5,022.0 kB [list of files]
s390x 5.7.1-2 206.5 kB1,219.0 kB [list of files]
sh4 (unofficial port) 5.6-8 225.8 kB838.0 kB [list of files]
sparc64 (unofficial port) 5.7.1-2 212.8 kB1,364.0 kB [list of files]
x32 (unofficial port) 5.7.1-2 214.6 kB920.0 kB [list of files]