[ buster ]
[ bullseye ]
Paquet source : apron (0.9.10-9.1)
Liens pour apron
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Dépôt de source Debian (Git)
- Suivis des correctifs pour Debian
Responsable :
Ressources externes :
- Page d'accueil [apron.cri.ensmp.fr]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- libapron
- bibliothèques d'exécution pour APRON
- libapron-dev
- bibliothèque d'interprétation abstraite
- libapron-ocaml
- bibliothèques d'exécution pour APRON — interface OCaml
- libapron-ocaml-dev
- bibliothèque d'interprétation abstraite — interface OCaml
Autres paquets associés à apron
|
|
-
- adep: debhelper (>= 9)
- programmes assistants pour debian/rules
-
- adep: ocaml-nox (>= 3.11.1-3~)
- mise en œuvre de Meta Language avec un système orienté objet (pas de X)
-
- adep: ocaml-best-compilers
- Paquet indisponible
-
- adep: camlidl
- générateur d'ébauche de code pour Objective Caml
-
- adep: dh-ocaml (>= 0.9~)
- assistants pour l’entretien des paquets de Debian relatifs à OCaml
-
- adep: libgmp3-dev
- Multiprecision arithmetic library developers tools
-
- adep: libmpfr-dev
- multiple precision floating-point computation developers tools
-
- adep: libppl-dev
- bibliothèque de polyèdres Parma –⋅développement
-
- adep: texi2html (>= 1.82)
- Convertit les fichiers Texinfo en HTML
Download apron
Fichier | Taille (en ko) | Somme MD5 |
---|---|---|
apron_0.9.10-9.1.dsc | 1,9 ko | 55705a6b4b096379726e8a42ce38c3e8 |
apron_0.9.10.orig.tar.gz | 912,4 ko | 17058de80f7352885eb4064585baf873 |
apron_0.9.10-9.1.debian.tar.xz | 14,9 ko | 58f863d03a8246dd28339415ee6b14eb |
- Dépôt Debian des paquets source (VCS: Git)
- https://salsa.debian.org/ocaml-team/apron.git
- Dépôt Debian des paquets source (interface web)
- https://salsa.debian.org/ocaml-team/apron