| Paketname | libpolyml-dev |
| Beschreibung | development files for Poly/ML, a compiler for the Standard ML |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 5.2.1-1 |
| Sektion | universe/libdevel |
| Priorität | extra |
| Installierte Größe | 600 Byte |
| Hängt ab von | libpolyml1 (= 5.2.1-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | polyml |
| Paketgröße | 186850 Byte |
| Prüfsumme MD5 | 80c3e13b91a674691d7a0c748fa76446 |
| Prüfsumme SHA1 | d4ebb627d133140f4ec5c16629369d0c6c62cae7 |
| Prüfsumme SHA256 | 4faaf5683d50c2d162d09a17f6704f2592aca11b8cc178685d50b5d2641f0066 |
| Link zum Herunterladen | libpolyml-dev_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 compile stand-alone executables
with Poly/ML.
|