Paketname | libapron-dev |
Beschreibung | an abstract interpretation library |
Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
Version | 0.9.10-5.2ubuntu3 |
Sektion | universe/libdevel |
Priorität | optional |
Installierte Größe | 1373 Byte |
Hängt ab von | libgmp3-dev, libmpfr-dev, libppl-dev |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | apron |
Paketgröße | 194520 Byte |
Prüfsumme MD5 | 723cf37bff121858e060be46f513780c |
Prüfsumme SHA1 | 59e4a06065478996b16e975447ca0b780a0c66bc |
Prüfsumme SHA256 | 2b02040b03448b20e9a3f4f88c20af85c2089c13dbd7ab5335ebd0e46f0e8088 |
Link zum Herunterladen | libapron-dev_0.9.10-5.2ubuntu3_all.deb |
Ausführliche Beschreibung | |