DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibapron-ocaml-dev
Beschreibungan abstract interpretation library (OCaml interface)
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version0.9.10-5
Sektionocaml
Prioritätoptional
Installierte Größe11724 Byte
Hängt ab vonlibapron-ocaml-18ls6, ocaml-nox-3.11.2, libapron-dev
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quelleapron
Paketgröße3169050 Byte
Prüfsumme MD5b2f2d4c5f82f9f6d4b95c70cd3943ab8
Prüfsumme SHA13e757e4fa216b05055db45c3f4a0428cc7bcf8bd
Prüfsumme SHA2568596658972702cfa0f8565c0320f5e3aac5bda9a8d9e4bddb96ff7a9de0a35b0
Link zum Herunterladenlibapron-ocaml-dev_0.9.10-5_i386.deb
Ausführliche BeschreibungThe 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.


Impressum
Linux is a registered trademark of Linus Torvalds