[ buster ]
[ bullseye ]
[ Paquet source : apron ]
Paquet : libapron (0.9.10-9.1 et autres)
Liens pour libapron
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source apron :
Responsable :
Ressources externes :
- Page d'accueil [apron.cri.ensmp.fr]
Paquets similaires :
bibliothèques d'exécution pour APRON
La bibliothèque APRON est dédiée à l'analyse statique des variables numériques d'un programme par interprétation abstraite. Le but d'une telle analyse est d'inférer des invariants sur ces variables. La bibliothèque est destinée à être une interface commune à divers domaines abstraits ou bibliothèques sous-jacentes et de fournir des services supplémentaires qui peuvent être implémentés indépendamment de la bibliothèque sous-jacente ou du domaine abstrait .
Ce paquet fournit les bibliothèques partagées nécessaires pendant l'exécution.
Autres paquets associés à libapron
|
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par 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) [non armel, armhf]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libppl14
- bibliothèque de polyèdre Parma - bibliothèque d'exécution
-
- dep: libstdc++6 (>= 5) [non armel]
- bibliothèque standard C++ de GNU v3
- dep: libstdc++6 (>= 5.2) [armel]
Télécharger libapron
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| amd64 | 0.9.10-9.1+b2 | 457,8 ko | 1 668,0 ko | [liste des fichiers] |
| arm64 | 0.9.10-9.1+b2 | 390,4 ko | 1 508,0 ko | [liste des fichiers] |
| armel | 0.9.10-9.1+b2 | 401,6 ko | 1 378,0 ko | [liste des fichiers] |
| armhf | 0.9.10-9.1+b2 | 408,8 ko | 1 006,0 ko | [liste des fichiers] |
| i386 | 0.9.10-9.1+b2 | 577,7 ko | 1 942,0 ko | [liste des fichiers] |
| mips64el | 0.9.10-9.1+b2 | 365,8 ko | 1 671,0 ko | [liste des fichiers] |
| mipsel | 0.9.10-9.1+b2 | 449,6 ko | 1 745,0 ko | [liste des fichiers] |
| ppc64el | 0.9.10-9.1+b2 | 474,8 ko | 2 240,0 ko | [liste des fichiers] |
| s390x | 0.9.10-9.1+b2 | 392,7 ko | 1 687,0 ko | [liste des fichiers] |