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
This package contains the shared libraries needed at runtime.
APRON Debian source package
Patching upstream sources
This source package uses quilt to apply and remove its patches. Please
refer to `/usr/share/doc/quilt/README.source' for information about
how to use quilt for source packages.
The quilt series is generated from the Git repository. Have a look at
the `redo-patches' target of debian/rules
apron (0.9.10-5.2+b2) sid; urgency=low
* Binary-only non-maintainer upload for s390; no source changes.
* Recompile with ocaml 3.12.1
-- s390 Build Daemon (zandonai) <email@example.com> Wed, 02 Nov 2011 07:44:09 +0000
apron (0.9.10-5.2) unstable; urgency=low
* Follow-on NMU to fix the binary dependency on libppl0.10-dev.
Really Closes: #620716.
-- Steve Langa
- Migration advices (due to some API and compilation process changes)
* as MLGMPIDL is not included anymore, you may want to consider
- either apron-dist-XXX.tgz packages
- or svn co http://svn.cri.ensmp.fr/svn/apron/apron-dist/trunk apron-dist
that include it.
� new variables HAS_SHARED and OCAMLMKLIB
* C API:
Browse inside libapron_0.9.10-5.2+b2_s390.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com