[ Paquet source : adacontrol ]
Paquet : adacontrol-doc (1.21r6b-7)
Liens pour adacontrol-doc
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 – documentation
AdaControl vérifie que le logiciel Ada applique un certain nombre de règles paramétrisables. Il n'est pas destiné à remplacer 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 la documentation.
Autres paquets associés à adacontrol-doc
|
|
|
|
-
- sug: adacontrol
- vérificateur de règles Ada
-
- sug: gnat
- GNU Ada compiler
Télécharger adacontrol-doc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 1 282,0 ko | 1 917,0 ko | [liste des fichiers] |