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

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

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 Version Package Size Installed Size Files
alpha (unofficial port) 5.7.1-5+b1 247.7 kB1,679.0 kB [list of files]
amd64 5.7.1-5+b2 224.6 kB1,253.0 kB [list of files]
arm64 5.7.1-5+b2 221.5 kB1,319.0 kB [list of files]
armel 5.7.1-5+b2 214.1 kB963.0 kB [list of files]
armhf 5.7.1-5+b2 212.9 kB859.0 kB [list of files]
hppa (unofficial port) 5.7.1-5+b1 231.7 kB1,024.0 kB [list of files]
i386 5.7.1-5+b2 246.6 kB1,009.0 kB [list of files]
ia64 (unofficial port) 5.7.1-5 267.6 kB1,641.0 kB [list of files]
m68k (unofficial port) 5.7.1-5+b1 209.2 kB927.0 kB [list of files]
mips64el 5.7.1-5+b2 249.6 kB1,605.0 kB [list of files]
ppc64 (unofficial port) 5.7.1-5+b1 238.2 kB1,453.0 kB [list of files]
ppc64el 5.7.1-5+b2 241.1 kB1,405.0 kB [list of files]
riscv64 5.7.1-5+b2 569.8 kB5,611.0 kB [list of files]
s390x 5.7.1-5+b2 224.9 kB1,248.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-5+b1 211.5 kB1,375.0 kB [list of files]
x32 (unofficial port) 5.7.1-5+b1 221.4 kB960.0 kB [list of files]