Paketname | libapron-dev |
Beschreibung | an abstract interpretation library |
Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
Version | 0.9.10-5.2ubuntu2 |
Sektion | universe/libdevel |
Priorität | optional |
Installierte Größe | 1648 Byte |
Hängt ab von | libgmp3-dev, libmpfr-dev, libppl-dev |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | apron |
Paketgröße | 175312 Byte |
Prüfsumme MD5 | 2c90f611140a3f05b9b31533646e4c2f |
Prüfsumme SHA1 | 97f8dc5632df0feda1f51105ac596c576b49b2af |
Prüfsumme SHA256 | dafeb04e8e1563feb2b4ee9ef9ba41734a7a813617b4bd4e4fb1a71090660ca8 |
Link zum Herunterladen | libapron-dev_0.9.10-5.2ubuntu2_all.deb |
Ausführliche Beschreibung | |