toutes les options
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Paquet source : apron  ]

Paquet : libapron (0.9.10-9 et autres)

Liens pour libapron

Screenshot

Ressources Debian :

Télécharger le paquet source apron :

Responsable :

Ressources externes :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libapron

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.9.10-9+b1 472,7 ko1 720,0 ko [liste des fichiers]
arm64 0.9.10-9+b1 369,7 ko1 484,0 ko [liste des fichiers]
armel 0.9.10-9+b1 414,9 ko1 518,0 ko [liste des fichiers]
armhf 0.9.10-9+b1 429,7 ko1 075,0 ko [liste des fichiers]
i386 0.9.10-9+b1 597,3 ko1 994,0 ko [liste des fichiers]
mips 0.9.10-9+b1 451,9 ko1 819,0 ko [liste des fichiers]
mips64el 0.9.10-9+b1 381,3 ko1 730,0 ko [liste des fichiers]
mipsel 0.9.10-9+b1 460,6 ko1 817,0 ko [liste des fichiers]
ppc64el 0.9.10-9+b1 406,3 ko2 112,0 ko [liste des fichiers]
s390x 0.9.10-9+b1 408,8 ko1 817,0 ko [liste des fichiers]