Balík: libapron (0.9.10-9 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.17)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- podporná knižnica GCC
-
- dep: libgmp10
- aritmetická knižnica s viacnásobnou presnosťou
-
- dep: libmpfr6 (>= 3.1.3)
- výpočty s plávajúcou desatinnou čiarkou s viacnásobnou presnosťou
-
- 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 |
---|---|---|---|---|
arm64 | 0.9.10-9+b3 | 379.2 kB | 1,484.0 kB | [zoznam súborov] |