Paquet : adacontrol (1.21r6b-7 et autres)
Liens pour adacontrol
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 adacontrol :
Responsables :
Ressources externes :
- Page d'accueil [www.adalog.fr]
Paquets similaires :
vérificateur de règles Ada
AdaControl vérifie qu’un logiciel en Ada applique un certain nombre de règles paramétrables. Il n'est pas destiné à enrichir les vérifications effectuées par le compilateur mais est plutôt destiné à rechercher les violations des meilleures règles de pratique ou de vérifier que certaines règles sont suivies à travers le projet tout entier.
Ce paquet fournit aussi les utilitaires suivants :
–⋅pfni⋅: Print Full Name Image, extension de tout identifiant en son nom complètement qualifié⋅; –⋅ptree⋅: affichage d’une représentation graphique d'un arbre ASIS avec le source correspondant⋅; –⋅adactl_fix⋅: correction automatique de certaines violations.
Autres paquets associés à adacontrol
|
|
|
|
-
- dep: libasis2019 (>= 2019) [alpha]
- Ada Semantic Interface Specification (ASIS) — bibliothèque d'exécution
-
- dep: libasis2019.1 (>= 2019) [non alpha]
- Ada Semantic Interface Specification (ASIS) — bibliothèque d'exécution
-
- dep: libc6 (>= 2.14) [amd64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.2) [hppa]
- dep: libc6 (>= 2.27) [riscv64]
- dep: libc6 (>= 2.31) [sh4]
- dep: libc6 (>= 2.4) [armel, armhf, i386, mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.1.3) [alpha]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb
- dep: libc6.1 (>= 2.31) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, i386, ia64]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, ia64]
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- bibliothèque de prise en charge de GCC
-
- dep: libgnat-10 (>= 10.2.0) [riscv64]
- exécutable pour les applications compilées avec GNAT –⋅bibliothèque partagée
- dep: libgnat-10 (>= 10.2.1) [non alpha, riscv64]
-
- dep: libgnat-9 (>= 9.3.0) [alpha]
- exécutable pour les applications compilées avec GNAT –⋅bibliothèque partagée
-
- dep: libgnat-util10 (>= 10.2.0-23) [riscv64]
- GNU Ada compiler selected components (shared library)
- dep: libgnat-util10 (>= 10.2.1-1) [non alpha, riscv64]
-
- dep: libgnatcoll18 (>= 19) [alpha]
- Paquet indisponible
-
- dep: libgnatcoll19 (>= 21.0.0) [non alpha]
- GNATColl, general purpose Ada library (runtime)
-
- dep: libgnatprj7 (>= 2019) [alpha]
- Paquet indisponible
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109) [non alpha]
- support for programs processing GNAT projects (runtime)
-
- dep: libgnatvsn9 (>= 9.3.0-12) [alpha]
- composants sélectionnés du compilateur compilateur Ada GNU –⋅bibliothèque partagée
-
- dep: libunwind8 [ia64]
- bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
-
- dep: libxmlada-dom6 (>= 19) [alpha]
- Paquet indisponible
-
- dep: libxmlada-dom7 (>= 21.0.0) [non alpha]
- XML/Ada, a full XML suite for Ada programmers (dom runtime)
-
- dep: libxmlada-input6 (>= 19) [alpha]
- Paquet indisponible
-
- dep: libxmlada-input7 (>= 21.0.0) [non alpha]
- XML/Ada, a full XML suite for Ada programmers (input sources runtime)
-
- dep: libxmlada-sax6 (>= 19) [alpha]
- Paquet indisponible
-
- dep: libxmlada-sax7 (>= 21.0.0) [non alpha]
- XML/Ada, a full XML suite for Ada programmers (sax runtime)
-
- dep: libxmlada-schema6 (>= 19) [alpha]
- Paquet indisponible
-
- dep: libxmlada-schema7 (>= 21.0.0) [non alpha]
- XML/Ada, a full XML suite for Ada programmers (schema runtime)
-
- dep: libxmlada-unicode6 (>= 19) [alpha]
- Paquet indisponible
-
- dep: libxmlada-unicode7 (>= 21.0.0) [non alpha]
- XML/Ada, a full XML suite for Ada programmers (unicode runtime)
-
- sug: adacontrol-doc
- vérificateur de règles Ada – documentation
Télécharger adacontrol
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
alpha (portage non officiel) | 1.21r6b-5 | 1 567,6 ko | 7 630,0 ko | [liste des fichiers] |
amd64 | 1.21r6b-7 | 1 620,0 ko | 6 298,0 ko | [liste des fichiers] |
arm64 | 1.21r6b-7 | 1 302,5 ko | 5 655,0 ko | [liste des fichiers] |
armel | 1.21r6b-7 | 1 349,5 ko | 5 652,0 ko | [liste des fichiers] |
armhf | 1.21r6b-7 | 1 415,1 ko | 4 400,0 ko | [liste des fichiers] |
hppa (portage non officiel) | 1.21r6b-7 | 1 379,8 ko | 5 892,0 ko | [liste des fichiers] |
i386 | 1.21r6b-7 | 1 725,3 ko | 7 220,0 ko | [liste des fichiers] |
ia64 (portage non officiel) | 1.21r6b-7 | 1 950,1 ko | 13 282,0 ko | [liste des fichiers] |
mips64el | 1.21r6b-7 | 1 246,2 ko | 7 624,0 ko | [liste des fichiers] |
ppc64 (portage non officiel) | 1.21r6b-7 | 1 365,3 ko | 7 729,0 ko | [liste des fichiers] |
ppc64el | 1.21r6b-7 | 1 389,5 ko | 7 153,0 ko | [liste des fichiers] |
riscv64 (portage non officiel) | 1.21r6b-7 | 1 472,0 ko | 5 350,0 ko | [liste des fichiers] |
s390x | 1.21r6b-7 | 1 333,7 ko | 6 226,0 ko | [liste des fichiers] |
sh4 (portage non officiel) | 1.21r6b-7 | 1 711,0 ko | 6 020,0 ko | [liste des fichiers] |
sparc64 (portage non officiel) | 1.21r6b-7 | 1 208,6 ko | 6 060,0 ko | [liste des fichiers] |