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
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- libdevel
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | libdevel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
apron_0.9.10-6.dsc | 2.1 KiB | 8bd40220e5237876cc0face8631e114eaf35c3d9fb588ed983cd274da4bad749 |
apron_0.9.10.orig.tar.gz | 912.4 KiB | f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 |
apron_0.9.10-6.debian.tar.gz | 11.5 KiB | 8066a8236a19fa372b466a635628c5ccfb653440ee7760fb05a70999b9ac94d2 |
Available diffs
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: No summary available for libapron-dev in ubuntu vivid.
No description available for libapron-dev in ubuntu vivid.
- 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: No summary available for libapron-ocaml-dev in ubuntu vivid.
No description available for libapron-ocaml-dev in ubuntu vivid.