[ experimental ]
Package: libpolyml11 (5.8.1-1~exp1) [debports]
Links for libpolyml11
Debian Resources:
Download Source Package :
Not foundMaintainers:
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.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- Package not available
-
- dep: libgcc-s1 (>= 3.0)
- libreria di supporto a GCC
-
- dep: libstdc++6 (>= 5)
- libreria GNU Standard C++, versione 3
Download libpolyml11
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| ppc64 (unofficial port) | 191.6 kB | 821.0 kB | [list of files] |