libapron-dev binary package in Ubuntu Trusty amd64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2014-03-20 04:13:25 UTC | Published | Ubuntu Trusty amd64 | release | universe | libdevel | Optional | 0.9.10-6 | ||
|
|||||||||
Deleted | Ubuntu Trusty amd64 | proposed | universe | libdevel | Optional | 0.9.10-6 | |||
|
|||||||||
2014-03-20 04:13:49 UTC | Superseded | Ubuntu Trusty amd64 | release | universe | libdevel | Optional | 0.9.10-5.2ubuntu6 | ||
|
|||||||||
2014-03-21 06:10:09 UTC | Deleted | Ubuntu Trusty amd64 | proposed | universe | libdevel | Optional | 0.9.10-5.2ubuntu6 | ||
|
|||||||||
2013-12-24 16:47:07 UTC | Superseded | Ubuntu Trusty amd64 | release | universe | libdevel | Optional | 0.9.10-5.2ubuntu4 | ||
|