| Paketname | libapron |
| Beschreibung | runtime libraries for APRON |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.9.10-5.2+b3 |
| Sektion | libs |
| Priorität | optional |
| Installierte Größe | 1779 Byte |
| Hängt ab von | libc6 (>= 2.1.3), libgcc1 (>= 1:4.1.1), libgmp10, libmpfr4 (>= 3.1.0), libppl9, libstdc++6 (>= 4.1.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | apron (0.9.10-5.2) |
| Paketgröße | 765674 Byte |
| Prüfsumme MD5 | 716272f58a7d206896461cb974797c99 |
| Prüfsumme SHA1 | e84b05f8c5e468389912a297a0bbe1f38a536bca |
| Prüfsumme SHA256 | 6807ff82ff74c2e3ad26f1ceaa3f3bdf7fd00975758b8d9faa27b61b6eb9ba11 |
| Link zum Herunterladen | libapron_0.9.10-5.2+b3_i386.deb |
| Ausführliche Beschreibung | implemented-in::c, role::shared-lib, use::analysing, use::checking
|