Paquet : libapron-ocaml (0.9.10-9.1 et autres)
Liens pour libapron-ocaml
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 — interface OCaml
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-jacents et de fournir des services supplémentaires qui peuvent être implémentés indépendamment de la bibliothèque ou du domaine abstrait sous-jacent.
Ce paquet comprend seulement les bibliothèques dynamiques nécessaires à l'exécution des pseudo-codes exécutables dynamiques.
Autres paquets associés à libapron-ocaml
|
|
|
|
-
- dep: libapron
- bibliothèques d'exécution pour APRON
-
- 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: libgmp10
- Bibliothèque arithmétique à multi-précision
-
- dep: libmpfr6 (>= 3.1.3)
- calcul en virgule flotante avec une précision multiple
-
- dep: ocaml-base-nox-4.11.1
- paquet virtuel fourni par ocaml-base-nox
Télécharger libapron-ocaml
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
amd64 | 0.9.10-9.1+b2 | 60,4 ko | 405,0 ko | [liste des fichiers] |
arm64 | 0.9.10-9.1+b2 | 57,4 ko | 339,0 ko | [liste des fichiers] |
armel | 0.9.10-9.1+b2 | 48,5 ko | 251,0 ko | [liste des fichiers] |
armhf | 0.9.10-9.1+b2 | 49,3 ko | 219,0 ko | [liste des fichiers] |
i386 | 0.9.10-9.1+b2 | 64,5 ko | 411,0 ko | [liste des fichiers] |
mips64el | 0.9.10-9.1+b2 | 49,3 ko | 331,0 ko | [liste des fichiers] |
mipsel | 0.9.10-9.1+b2 | 49,5 ko | 306,0 ko | [liste des fichiers] |
ppc64el | 0.9.10-9.1+b2 | 64,8 ko | 1 020,0 ko | [liste des fichiers] |
s390x | 0.9.10-9.1+b2 | 57,8 ko | 367,0 ko | [liste des fichiers] |