Quellcode-Paket: polyml (5.8.1-1~exp1)
Links für polyml
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
Externe Ressourcen:
- Homepage [www.polyml.org]
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.
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libpolyml-dev
- development files for Poly/ML, a compiler for Standard ML
- libpolyml11
- runtime files for Poly/ML, a compiler for Standard ML
- polyml
- interpreter and interactive compiler for Standard ML
- polyml-modules
- modules for Poly/ML, a compiler for Standard ML
Andere Pakete mit Bezug zu polyml
|
|
-
- adep: debhelper (>= 10)
- Hilfsprogramme für debian/rules
-
- adep: libffi-dev
- »Foreign Function Interface«-Bibliothek (Entwicklungsdateien)
-
- adep: libltdl-dev
- System independent dlopen wrapper for GNU libtool (headers)
Download polyml
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| polyml_5.8.1-1~exp1.dsc | 2,1 kB | 0fdb08ae20c1e0a80f89dd1c7b238325 |
| polyml_5.8.1.orig.tar.gz | 9.614,5 kB | 54b8ba00c7a9d1b7dbbcae7857c7b4a1 |
| polyml_5.8.1-1~exp1.debian.tar.xz | 19,8 kB | 459cbcf2dd82f2aadc3f0099580219f3 |
- Quellcode-Depot des Debian-Pakets (VCS: Git)
- https://salsa.debian.org/science-team/polyml.git
- Quellcode-Depot des Debian-Pakets (browsable)
- https://salsa.debian.org/science-team/polyml