Ubuntu

“apron” 0.9.10-5.2ubuntu4 source package in Ubuntu

Changelog

apron (0.9.10-5.2ubuntu4) raring; urgency=low

  * Rebuild for ppl-1.0.
 -- Matthias Klose <email address hidden>   Tue, 29 Jan 2013 18:21:22 +0100

Upload details

Uploaded by:
Matthias Klose on 2013-01-29
Uploaded to:
Raring
Original maintainer:
Ubuntu Developers
Component:
universe
Architectures:
any all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Saucy release on 2013-04-25 universe libdevel
Raring release on 2013-01-30 universe libdevel

Downloads

File Size MD5 Checksum
apron_0.9.10.orig.tar.gz 912.4 KiB 17058de80f7352885eb4064585baf873
apron_0.9.10-5.2ubuntu4.debian.tar.gz 10.6 KiB 4fc90f449f85e21275f0a68eaf29f20d
apron_0.9.10-5.2ubuntu4.dsc 1.7 KiB 360e978232fb7a82a6e7533a87d78ef7

Binary packages built by this source

libapron: 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.

libapron-dev: 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.

libapron-ocaml: runtime libraries for APRON (OCaml interface)

 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.

libapron-ocaml-dev: abstract interpretation library (OCaml interface)

 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.