Ubuntu
apron package

apron 0.9.10-5.2ubuntu3 source package in Ubuntu

Changelog

apron (0.9.10-5.2ubuntu3) precise; urgency=low

  * Rebuild for OCaml 3.12.1.
 -- Colin Watson <email address hidden>   Sat, 19 Nov 2011 11:55:17 +0000

Upload details

Uploaded by:
Colin Watson
Uploaded to:
Precise
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe libdevel

Downloads

File Size SHA-256 Checksum
apron_0.9.10.orig.tar.gz 912.4 KiB f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94
apron_0.9.10-5.2ubuntu3.debian.tar.gz 10.7 KiB 6ec79ac222fd1de349754ce8bb3a9856cdac08c5b10cd05321024946ba7f135d
apron_0.9.10-5.2ubuntu3.dsc 2.4 KiB ecf9bcff921a845ccded894a8b31179f201febe51e3dbe8902eef23d7ef60d11

View changes file

Binary packages built by this source

libapron: No summary available for libapron in ubuntu raring.

No description available for libapron in ubuntu raring.

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: No summary available for libapron-ocaml in ubuntu quantal.

No description available for libapron-ocaml in ubuntu quantal.

libapron-ocaml-dev: No summary available for libapron-ocaml-dev in ubuntu raring.

No description available for libapron-ocaml-dev in ubuntu raring.