[ Source: polyml ]
Package: libpolyml-dev (5.8.1-1~exp1)
Links for libpolyml-dev
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 di sviluppo per PolyML, 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 alla compilazione di eseguibili autonomi con Poly/ML.
Other Packages Related to libpolyml-dev
|
|
|
|
-
- dep: libpolyml11 (= 5.8.1-1~exp1)
- file runtime per Poly/ML, un compilatore per Standard ML
Download libpolyml-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 218.0 kB | 1,229.0 kB | [list of files] |
| arm64 | 209.9 kB | 1,219.0 kB | [list of files] |
| hppa (unofficial port) | 228.3 kB | 1,012.0 kB | [list of files] |
| i386 | 238.4 kB | 988.0 kB | [list of files] |
| ia64 (unofficial port) | 264.8 kB | 1,610.0 kB | [list of files] |
| m68k (unofficial port) | 204.0 kB | 905.0 kB | [list of files] |
| mips64el | 242.9 kB | 1,538.0 kB | [list of files] |
| ppc64 (unofficial port) | 229.9 kB | 1,398.0 kB | [list of files] |
| ppc64el | 232.9 kB | 1,349.0 kB | [list of files] |
| riscv64 (unofficial port) | 526.4 kB | 5,257.0 kB | [list of files] |
| s390x | 201.1 kB | 1,192.0 kB | [list of files] |
| sparc64 (unofficial port) | 206.5 kB | 1,325.0 kB | [list of files] |
| x32 (unofficial port) | 215.6 kB | 936.0 kB | [list of files] |