| Paketname | libpolyml-dev |
| Beschreibung | development files for Poly/ML, a compiler for the Standard ML |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 5.2.1-1.1 |
| Sektion | libdevel |
| Priorität | extra |
| Installierte Größe | 637 Byte |
| Hängt ab von | libpolyml1 (= 5.2.1-1.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Science Maintainers |
| Quelle | polyml |
| Paketgröße | 208260 Byte |
| Prüfsumme MD5 | 7073e92c6b4be463f1d066c502402ff6 |
| Prüfsumme SHA1 | 6e4fa75f61666010ed8365a799196d8167ceefb5 |
| Prüfsumme SHA256 | 05c52d767792757e40be51dfafc66c8d34f35a411650dde91453696cafbd6dee |
| Link zum Herunterladen | libpolyml-dev_5.2.1-1.1_i386.deb |
| Ausführliche Beschreibung | |