Ubuntu
apron package

apron 0.9.10-7 source package in Ubuntu

Changelog

apron (0.9.10-7) unstable; urgency=medium

  * Team upload.
  * Fix build with GCC 5 by not defining strdup (Closes: #808628).
    - Add patch 0009-Don-t-define-strdup.patch

 -- Mehdi Dogguy <email address hidden>  Sun, 17 Jan 2016 23:25:59 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
libdevel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe libdevel

Downloads

File Size SHA-256 Checksum
apron_0.9.10-7.dsc 2.1 KiB 334cb71c448af41d75ce359435821e0d41a03a4b45319668752beed0776e3813
apron_0.9.10.orig.tar.gz 912.4 KiB f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94
apron_0.9.10-7.debian.tar.xz 10.5 KiB d280130930f3ee082c9bdc39fc71e9298a6a1a57e7d8a8e99df33add84da2669

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

No description available for libapron-ocaml in ubuntu yakkety.

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.