| Paketname | libpolyml-dev |
| Beschreibung | development files for Poly/ML, a compiler for the Standard ML |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 5.2.1-1 |
| Sektion | libdevel |
| Priorität | extra |
| Installierte Größe | 588 Byte |
| Hängt ab von | libpolyml1 (= 5.2.1-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Science Maintainers |
| Quelle | polyml |
| Paketgröße | 182912 Byte |
| Prüfsumme MD5 | d71d4574c47167617c2741f78e6f9049 |
| Prüfsumme SHA1 | 387f9365e855eead9a13d6e5b0c44ed7d47e01b8 |
| Prüfsumme SHA256 | 529cc20cf88314cca8f48335138f7ef1f19ec89510c6eb17f2f8a3c04946938b |
| 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.
|