Paket: libpolyml11 (5.8.1-1~exp1) [debports]
Länkar för libpolyml11
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Externa resurser:
- Hemsida [www.polyml.org]
Liknande paket:
Experimentellt paket
Varning: Paketet är från den experimentella utgåvan. Det innebär att det med stor sannolikhet är instabilt eller innehåller fel, och kanske till och med kan orsaka dataförluster. Se till att läsa ändringsloggen och annan dokumentation innan du använder det.
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.
Andra paket besläktade med libpolyml11
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- Paketet inte tillgängligt
-
- dep: libgcc-s1 (>= 3.0)
- GCC stödbibliotek
-
- dep: libstdc++6 (>= 5)
- GNU standardbibliotek v3 för C++
Hämta libpolyml11
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
ppc64 (inofficiell anpassning) | 191,6 kbyte | 821,0 kbyte | [filförteckning] |