[ experimental ]
[ Source: polyml ]
Package: libpolyml11 (5.8.1-1~exp1)
Links for libpolyml11
Debian Resources:
Download Source Package polyml:
Maintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
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 libpolyml11
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not ia64, riscv64]
-
- dep: libc6.1 (>= 2.31) [ia64]
- GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- Package not available
-
- dep: libgcc-s1 (>= 3.0) [not hppa, ia64, m68k]
- GCC support library
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC support library
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC support library
-
- dep: libstdc++6 (>= 5)
- GNU Standard C++ Library v3
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
Download libpolyml11
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 181.8 kB | 573.0 kB | [list of files] |
| arm64 | 165.4 kB | 561.0 kB | [list of files] |
| hppa (unofficial port) | 193.3 kB | 629.0 kB | [list of files] |
| i386 | 194.2 kB | 547.0 kB | [list of files] |
| ia64 (unofficial port) | 214.1 kB | 951.0 kB | [list of files] |
| m68k (unofficial port) | 179.2 kB | 538.0 kB | [list of files] |
| mips64el | 170.5 kB | 671.0 kB | [list of files] |
| ppc64 (unofficial port) | 191.6 kB | 821.0 kB | [list of files] |
| ppc64el | 187.5 kB | 693.0 kB | [list of files] |
| riscv64 (unofficial port) | 175.3 kB | 507.0 kB | [list of files] |
| s390x | 167.8 kB | 593.0 kB | [list of files] |
| sparc64 (unofficial port) | 160.2 kB | 578.0 kB | [list of files] |
| x32 (unofficial port) | 182.0 kB | 515.0 kB | [list of files] |