apron_0.9.10-1_i386.changes is NEW
(new) apron_0.9.10-1.diff.gz optional libdevel
(new) apron_0.9.10-1.dsc optional libdevel
(new) apron_0.9.10.orig.tar.gz optional libdevel
(new) libapron-dev_0.9.10-1_all.deb optional libdevel
An abstract interpretation library
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 C.
(new) libapron-ocaml-dev_0.9.10-1_i386.deb optional ocaml
An abstract interpretation library
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.
(new) libapron-ocaml_0.9.10-1_i386.deb optional ocaml
Runtime libraries for APRON
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.
(new) libapron_0.9.10-1_i386.deb optional libs
Runtime libraries for APRON
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 shared libraries needed at runtime.
Changes: apron (0.9.10-1) unstable; urgency=low
.
* Initial release, closes: #552326.
Override entries for your package:
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 552326
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: