Balík: libapron (0.9.10-9.1 a iné)

Odkazy pre libapron

Zdroje Debian:

Stiahnuť zdrojový balík apron:

Správca:

Debian OCaml Maintainers (Stránka QA, Konferencia)

Externé zdroje:

Domovská stránka [apron.cri.ensmp.fr]

Podobné balíky:

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.

Značky: Role: Shared Library

Ostatné balíky súvisiace s balíkom libapron

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.14)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libgcc-s1 (>= 3.0)

podporná knižnica GCC
dep: libppl14

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

štandardná knižnica C++ GNU v3

Stiahnuť libapron

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	0.9.10-9.1+b2	457.8 kB	1,668.0 kB	[zoznam súborov]