apron 0.9.10-9build4 source package in Ubuntu

Changelog

apron (0.9.10-9build4) bionic; urgency=medium

  * No-change rebuild for mpfr soname change.

 -- Matthias Klose <email address hidden>  Wed, 24 Jan 2018 21:19:24 +0000

Upload details

Uploaded by:
Matthias Klose on 2018-01-24
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
libdevel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe libdevel
Disco release on 2018-10-30 universe libdevel
Cosmic release on 2018-05-01 universe libdevel
Bionic release on 2018-02-12 universe libdevel

Downloads

File Size SHA-256 Checksum
apron_0.9.10.orig.tar.gz 912.4 KiB f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94
apron_0.9.10-9build4.debian.tar.xz 15.1 KiB 5aa2e0061d2f7fcf819a3d18e040af23eac1d7931446925ffdd0a703df02feeb
apron_0.9.10-9build4.dsc 2.2 KiB 40b32673ba9f500e1d305547dc64e70682a85ffeddb8a0a48998e9e432a5f54f

Available diffs

View changes file

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-dbgsym: debug symbols for libapron
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-dbgsym: debug symbols for libapron-ocaml
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.