[ Paquet source : adacontrol ]
Paquet : adacontrol-doc (1.19r10-2)
Liens pour adacontrol-doc
Ressources Trisquel :
Télécharger le paquet source adacontrol :
Responsable :
Original Maintainers:
- Ludovic Brenta
- Nicolas Boulenguez
Ressources externes :
- Page d'accueil [www.adalog.fr]
Paquets similaires :
Ada rules controller (documentation)
AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide.
This package contains the documentation.
Autres paquets associés à adacontrol-doc
|
|
|
-
- sug: adacontrol
- Ada rules controller
-
- sug: gnat
- GNU Ada compiler
Télécharger adacontrol-doc
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 1 195,9 ko | 1792 ko | [liste des fichiers] |