Paket: libpolyml11 (5.8.1-1~exp1) [debports]
Links für libpolyml11
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
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.
runtime 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 run stand-alone executables built with Poly/ML.
Andere Pakete mit Bezug zu libpolyml11
|
|
|
|
-
- dep: libc6 (>= 2.27)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- Paket nicht verfügbar
-
- dep: libgcc-s1 (>= 3.0)
- GCC Support-Bibliothek
-
- dep: libstdc++6 (>= 5)
- GNU-Implementierung der Standard-C++-Bibliothek (Version 3)
libpolyml11 herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
riscv64 (inoffizielle Portierung) | 175,3 kB | 507,0 kB | [Liste der Dateien] |