apron 0.9.10-6 source package in Ubuntu

Changelog

apron (0.9.10-6) unstable; urgency=low


  [ St├ęphane Glondu ]
  * Team upload
  * Acknowledge non-maintainer uploads
  * debian/control:
    - bump debhelper compat level to 9
    - update Vcs-*
    - remove leading articles from short descriptions
    - remove Samuel and myself from Uploaders

  [ Matthias Klose ]
  * Fix build failure with ppl-1.0 (Closes: #707347)

 -- St├ęphane Glondu <email address hidden>  Wed, 25 Dec 2013 13:00:39 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-12-25
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any all
Section:
libdevel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Vivid release on 2014-10-23 universe libdevel
Utopic release on 2014-04-23 universe libdevel
Trusty release on 2014-03-20 universe libdevel

Downloads

File Size MD5 Checksum
apron_0.9.10-6.dsc 2.1 KiB 1f09ebc02bd1cb61c25a3c64d5c68734
apron_0.9.10.orig.tar.gz 912.4 KiB 17058de80f7352885eb4064585baf873
apron_0.9.10-6.debian.tar.gz 11.5 KiB 688fad8cc226739e2dd875be347a25aa

No changes file available.

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