| Paketname | libapron-dev |
| Beschreibung | an abstract interpretation library |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.9.10-5.2 |
| Sektion | libdevel |
| Priorität | optional |
| Installierte Größe | 1636 Byte |
| Hängt ab von | libgmp3-dev, libmpfr-dev, libppl-dev |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | apron |
| Paketgröße | 197276 Byte |
| Prüfsumme MD5 | 69593e88e4b4970a2fcd67c0e575d221 |
| Prüfsumme SHA1 | 99567f0270f91fdbd3af944986f73e3fa491f039 |
| Prüfsumme SHA256 | a90655c195bce8c9d99ba0157323ced36e7c915faf0d8ba3507aa41cd4e216b1 |
| Link zum Herunterladen | libapron-dev_0.9.10-5.2_all.deb |
| Ausführliche Beschreibung | role::devel-lib, use::analysing, use::checking
|