Paket: polyml (5.7.1-2)
Links für polyml
Debian-Ressourcen:
Quellcode-Paket polyml herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.polyml.org]
Ähnliche Pakete:
interpreter and interactive 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 top-level interpreter and compiler.
Andere Pakete mit Bezug zu polyml
|
|
|
|
-
- dep: file
- Erkennung des Dateityps mittels »magischer« Zahlen
-
- dep: g++
- Der GNU-C++-Compiler
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.2.5) [amd64]
- dep: libc6 (>= 2.4) [armhf]
-
- dep: libffi-dev
- »Foreign Function Interface«-Bibliothek (Entwicklungsdateien)
-
- dep: libpolyml9 (>= 5.7.1~20171120.git44b7b88)
- runtime files for Poly/ML, a compiler for Standard ML
-
- dep: polyml-modules (= 5.7.1-2)
- modules for Poly/ML, a compiler for Standard ML
polyml herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
amd64 | 1.950,6 kB | 17.995,0 kB | [Liste der Dateien] |
arm64 | 1.717,7 kB | 14.670,0 kB | [Liste der Dateien] |
armhf | 1.047,0 kB | 6.550,0 kB | [Liste der Dateien] |
i386 | 1.203,4 kB | 8.803,0 kB | [Liste der Dateien] |