| Paketname | libapron-ocaml |
| Beschreibung | runtime libraries for APRON (OCaml interface) |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.9.10-5 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 312 Byte |
| Hängt ab von | ocaml-base-nox-3.11.2, libapron, libc6 (>= 2.1.3), libgcc1 (>= 1:4.1.1), libgmp3c2, libmpfr4, libstd |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | apron |
| Paketgröße | 79136 Byte |
| Prüfsumme MD5 | 767b29d17db99fe60e1cb8cb5abee293 |
| Prüfsumme SHA1 | 44503367bd3a9bd5088937d414d25bee2bd7f7f0 |
| Prüfsumme SHA256 | 6870355de09fa3151eae573a4d87e8647ee33b736aa18eca2e5424780f0f0154 |
| Link zum Herunterladen | libapron-ocaml_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 include only the dynamic libraries needed for running dynamic
bytecode executables.
|