Package: libapron (0.9.10-9.1 and others)

Links for libapron

Debian Resources:

Download Source Package apron:

Maintainer:

Debian OCaml Maintainers (QA Page, Mail Archive)

External Resources:

Homepage [apron.cri.ensmp.fr]

Similar packages:

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.

Tags: Role: Shared Library

Other Packages Related to libapron

depends

recommends

suggests

enhances

dep: libc6 (>= 2.17)

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libppl14

Parma Polyhedra Library (runtime library)
dep: libstdc++6 (>= 5)

GNU Standard C++ Library v3

Download libapron

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64el	0.9.10-9.1+b2	474.8 kB	2,240.0 kB	[list of files]