Paketname | libpolyml1 |
Beschreibung | runtime files for Poly/ML, a compiler for the Standard ML |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 5.2.1-1 |
Sektion | universe/libs |
Priorität | extra |
Installierte Größe | 392 Byte |
Hängt ab von | libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1) |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | polyml |
Paketgröße | 152128 Byte |
Prüfsumme MD5 | e5fbb29a4e15bb93545a050028f80910 |
Prüfsumme SHA1 | 909e96449ccdd3759042abd42a6a00f2faf3b8d4 |
Prüfsumme SHA256 | a9a83abaea0d37e182b63fa2c3f692fd91c848b71f702f80ec51ae73fcb81ba4 |
Link zum Herunterladen | libpolyml1_5.2.1-1_i386.deb |
Ausführliche Beschreibung | 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.
|