Paketti: libapron (0.9.10-9.1 ja muut)

Links for libapron

Debian-palvelut:

Imuroi lähdekoodipaketti apron:

Ylläpitäjä:

Debian OCaml Maintainers (Laadunvalvontasivu, Mail Archive)

External Resources:

Kotisivu [apron.cri.ensmp.fr]

Samankaltaisia paketteja:

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.

Tagit: Role: Shared Library

Muut pakettiin libapron liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.1.3) [i386]

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb

dep: libc6 (>= 2.14) [amd64]

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf]
dep: libgcc-s1 (>= 3.0) [ei armhf]

GCC:n apukirjasto

dep: libgcc-s1 (>= 3.5) [armhf]
dep: libppl14

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

GNU standardi C++ -kirjasto, versio 3

Imuroi libapron

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	0.9.10-9.1+b2	457.8 kt	1,668.0 kt	[tiedostoluettelo]
arm64	0.9.10-9.1+b2	390.4 kt	1,508.0 kt	[tiedostoluettelo]
armhf	0.9.10-9.1+b2	408.8 kt	1,006.0 kt	[tiedostoluettelo]
i386	0.9.10-9.1+b2	577.7 kt	1,942.0 kt	[tiedostoluettelo]