[ Source: polyml ]
Package: polyml-modules (5.7.1-5 and others)
Links for polyml-modules
Debian Resources:
Download Source Package polyml:
Maintainers:
External Resources:
- Homepage [www.polyml.org]
Similar packages:
moduli 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 moduli standard per Poly/ML.
Download polyml-modules
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 5.7.1-5+b1 | 475.0 kB | 4,792.0 kB | [list of files] |
| amd64 | 5.7.1-5+b2 | 489.0 kB | 4,844.0 kB | [list of files] |
| arm64 | 5.7.1-5+b2 | 478.6 kB | 4,792.0 kB | [list of files] |
| armel | 5.7.1-5+b2 | 455.8 kB | 2,867.0 kB | [list of files] |
| armhf | 5.7.1-5+b2 | 455.2 kB | 2,867.0 kB | [list of files] |
| hppa (unofficial port) | 5.7.1-5+b1 | 437.2 kB | 2,867.0 kB | [list of files] |
| i386 | 5.7.1-5+b2 | 464.9 kB | 2,905.0 kB | [list of files] |
| ia64 (unofficial port) | 5.7.1-5 | 488.9 kB | 4,791.0 kB | [list of files] |
| m68k (unofficial port) | 5.7.1-5+b1 | 437.7 kB | 2,867.0 kB | [list of files] |
| mips64el | 5.7.1-5+b2 | 475.3 kB | 4,792.0 kB | [list of files] |
| ppc64 (unofficial port) | 5.7.1-5+b1 | 455.0 kB | 4,792.0 kB | [list of files] |
| ppc64el | 5.7.1-5+b2 | 475.5 kB | 4,792.0 kB | [list of files] |
| riscv64 | 5.7.1-5+b2 | 475.4 kB | 4,792.0 kB | [list of files] |
| s390x | 5.7.1-5+b2 | 455.9 kB | 4,792.0 kB | [list of files] |
| sparc64 (unofficial port) | 5.7.1-5+b1 | 454.7 kB | 4,792.0 kB | [list of files] |
| x32 (unofficial port) | 5.7.1-5+b1 | 457.4 kB | 2,867.0 kB | [list of files] |