apron 0.9.10-6ubuntu1 source package in Ubuntu
Changelog
apron (0.9.10-6ubuntu1) xenial; urgency=medium * debian/patches/0009-Fix-build-failure-on-unix.patch: - Fix the recent build failure caused by re-defining strdup on unix systems -- Łukasz 'sil2100' Zemczak <email address hidden> Tue, 03 Nov 2015 15:53:01 -0600
Upload details
- Uploaded by:
- Łukasz Zemczak
- Uploaded to:
- Xenial
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- libdevel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
apron_0.9.10.orig.tar.gz | 912.4 KiB | f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 |
apron_0.9.10-6ubuntu1.debian.tar.xz | 10.5 KiB | 803664334bb8ca3939b6c279cf199d50d453869f7921a6428dc9457f41682f00 |
apron_0.9.10-6ubuntu1.dsc | 1.8 KiB | bcba3a352e7341eeda98dcbda9abbf3b311828164ee561de658ed7bc715938bd |
Available diffs
- diff from 0.9.10-6 (in Debian) to 0.9.10-6ubuntu1 (809 bytes)
- diff from 0.9.10-6build1 to 0.9.10-6ubuntu1 (845 bytes)
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.