| Paketname | libapron-ocaml-dev |
| Beschreibung | an abstract interpretation library (OCaml interface) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.9.10-5 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 11724 Byte |
| Hängt ab von | libapron-ocaml-18ls6, ocaml-nox-3.11.2, libapron-dev |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | apron |
| Paketgröße | 3169050 Byte |
| Prüfsumme MD5 | b2f2d4c5f82f9f6d4b95c70cd3943ab8 |
| Prüfsumme SHA1 | 3e757e4fa216b05055db45c3f4a0428cc7bcf8bd |
| Prüfsumme SHA256 | 8596658972702cfa0f8565c0320f5e3aac5bda9a8d9e4bddb96ff7a9de0a35b0 |
| Link zum Herunterladen | libapron-ocaml-dev_0.9.10-5_i386.deb |
| Ausführliche Beschreibung | The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation. The aim of such an analysis
is to infer invariants about these variables. It is intended to be a common
interface to various underlying libraries/abstract domains and to provide
additional services that can be implemented independently from the underlying
library/abstract domain.
.
This package contains the files necessary to use the APRON library in OCaml.
|