| Paketname | libapron-ocaml-dev |
| Beschreibung | an abstract interpretation library (OCaml interface) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.9.10-5.2+b3 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 12296 Byte |
| Hängt ab von | libapron-ocaml-g9z67, ocaml-nox-3.12.1, libapron-dev |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | apron (0.9.10-5.2) |
| Paketgröße | 3524392 Byte |
| Prüfsumme MD5 | d7efd3ca996803726331d6baed22766d |
| Prüfsumme SHA1 | 6851edecce08b82b57cf9ac40cc688bc15aab8de |
| Prüfsumme SHA256 | ec1b086812b4221d45085cfe7e8c86640b34a491f22fa4590dfb557aadaf8a87 |
| Link zum Herunterladen | libapron-ocaml-dev_0.9.10-5.2+b3_i386.deb |
| Ausführliche Beschreibung | implemented-in::ocaml, role::devel-lib, use::analysing, use::checking
|