| Paketname | libppl0.11-dev |
| Beschreibung | Parma Polyhedra Library (development) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.11.2-6 |
| Sektion | libdevel |
| Priorität | optional |
| Installierte Größe | 12742 Byte |
| Hängt ab von | libppl9 (= 0.11.2-6), libppl-c4 (= 0.11.2-6), libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgmp10, libg |
| Empfohlene Pakete | libgmp3-dev (>= 4.1.3) |
| Paketbetreuer | Debian GCC Maintainers |
| Quelle | ppl |
| Paketgröße | 3201060 Byte |
| Prüfsumme MD5 | c84ae4ec003b08f4bd0aaf43c860a5e6 |
| Prüfsumme SHA1 | a64c43fd58116f13023e408788f5793551cab104 |
| Prüfsumme SHA256 | 332328a6a53d6824107726f61637a8114f6a379def66aa2485a706e570860805 |
| Link zum Herunterladen | libppl0.11-dev_0.11.2-6_i386.deb |
| Ausführliche Beschreibung | |