[ Quellcode: polyml ]
Paket: libpolyml-dev (5.8.1-1~exp1)
Links für libpolyml-dev
Debian-Ressourcen:
Quellcode-Paket polyml herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.polyml.org]
Ähnliche Pakete:
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
development 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 compile stand-alone executables with Poly/ML.
Andere Pakete mit Bezug zu libpolyml-dev
|
|
|
|
-
- dep: libpolyml11 (= 5.8.1-1~exp1)
- runtime files for Poly/ML, a compiler for Standard ML
libpolyml-dev herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 218,0 kB | 1.229,0 kB | [Liste der Dateien] |
| arm64 | 209,9 kB | 1.219,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 228,3 kB | 1.012,0 kB | [Liste der Dateien] |
| i386 | 238,4 kB | 988,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 264,8 kB | 1.610,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 204,0 kB | 905,0 kB | [Liste der Dateien] |
| mips64el | 242,9 kB | 1.538,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 229,9 kB | 1.398,0 kB | [Liste der Dateien] |
| ppc64el | 232,9 kB | 1.349,0 kB | [Liste der Dateien] |
| riscv64 (inoffizielle Portierung) | 526,4 kB | 5.257,0 kB | [Liste der Dateien] |
| s390x | 201,1 kB | 1.192,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 206,5 kB | 1.325,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 215,6 kB | 936,0 kB | [Liste der Dateien] |