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

Package: libpolyml-dev (5.7.1-2)

Links for libpolyml-dev

Screenshot

Debian Resources:

Download Source Package polyml:

Maintainers:

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 Package Size Installed Size Files
amd64 217.1 kB1,200.0 kB [list of files]
arm64 220.4 kB1,252.0 kB [list of files]
armel 208.5 kB934.0 kB [list of files]
armhf 207.7 kB840.0 kB [list of files]
i386 238.4 kB979.0 kB [list of files]
mips 239.0 kB1,090.0 kB [list of files]
mips64el 250.0 kB1,582.0 kB [list of files]
mipsel 244.6 kB1,090.0 kB [list of files]
ppc64el 236.1 kB1,385.0 kB [list of files]
s390x 206.5 kB1,219.0 kB [list of files]