Pakket: libapron (0.9.10-9.1 en anderen)

Verwijzigingen voor libapron

Debian bronnen:

Het bronpakket apron downloaden:

Beheerder:

Debian OCaml Maintainers (QA-pagina, Mailarchief)

Externe bronnen:

Homepage [apron.cri.ensmp.fr]

Vergelijkbare pakketten:

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

Andere aan libapron gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6 (>= 2.1.3) [i386]

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

dep: libc6 (>= 2.14) [amd64]

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.2) [mips64el, mipsel]

dep: libc6 (>= 2.4) [armel, armhf, s390x]
dep: libgcc-s1 (>= 3.0) [niet armel, armhf]

GCC support bibliotheek

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

Parma Polyhedra Library (runtime library)
dep: libstdc++6 (>= 5) [niet armel]

GNU Standard C++ Library v3

dep: libstdc++6 (>= 5.2) [armel]

libapron downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	0.9.10-9.1+b2	457,8 kB	1.668,0 kB	[overzicht]
arm64	0.9.10-9.1+b2	390,4 kB	1.508,0 kB	[overzicht]
armel	0.9.10-9.1+b2	401,6 kB	1.378,0 kB	[overzicht]
armhf	0.9.10-9.1+b2	408,8 kB	1.006,0 kB	[overzicht]
i386	0.9.10-9.1+b2	577,7 kB	1.942,0 kB	[overzicht]
mips64el	0.9.10-9.1+b2	365,8 kB	1.671,0 kB	[overzicht]
mipsel	0.9.10-9.1+b2	449,6 kB	1.745,0 kB	[overzicht]
ppc64el	0.9.10-9.1+b2	474,8 kB	2.240,0 kB	[overzicht]
s390x	0.9.10-9.1+b2	392,7 kB	1.687,0 kB	[overzicht]