[ 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.
file runtime per Poly/ML, un compilatore per Standard ML
Poly/ML è un'implementazione del linguaggio di programmazione Standard ML. Standard ML è un linguaggio di programmazione funzionale di uso generico, modulare, con gestione sicura dei tipi e stringente. Poly/ML è un interprete e compilatore conforme a SML 97, che gestisce la generazione di eseguibili autonomi con un livello superiore interattivo (REPL).
Questo pacchetto fornisce i file necessari per far girare eseguibili autonomi compilati con Poly/ML.
Other Packages Related to libpolyml11
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not ia64, riscv64]
-
- dep: libc6.1 (>= 2.31) [ia64]
- Libreria C GNU: librerie condivise
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]
- libreria di supporto a GCC
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- libreria di supporto a GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- libreria di supporto a GCC
-
- dep: libstdc++6 (>= 5)
- libreria GNU Standard C++, versione 3
-
- dep: libunwind8 [ia64]
- libreria per tracciare la catena di chiamate di un programma - 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] |