Balík: libapron (0.9.10-9.1 a iné)
Odkazy pre libapron
Zdroje Debian:
Stiahnuť zdrojový balík apron:
Správca:
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.
Ostatné balíky súvisiace s balíkom libapron
|
|
|
|
-
- dep: libc6 (>= 2.2)
- 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
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
mipsel | 0.9.10-9.1+b2 | 449.6 kB | 1,745.0 kB | [zoznam súborov] |