| Paketname | libpolyml1 |
| Beschreibung | runtime files for Poly/ML, a compiler for the Standard ML |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 5.2.1-1 |
| Sektion | libs |
| Priorität | extra |
| Installierte Größe | 388 Byte |
| Hängt ab von | libc6 (>= 2.3.6-6~), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Science Maintainers |
| Quelle | polyml |
| Paketgröße | 149272 Byte |
| Prüfsumme MD5 | 0cb63fd434d8192effbd215eedc0a0ef |
| Prüfsumme SHA1 | e66fa18863d289196f7e64de8c040bec1482e06f |
| Prüfsumme SHA256 | 2bfb7eb70e42e85459a064d119c3bff105d1b417da7610d7500e1956e0eae813 |
| 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.
|