[ Source: adacontrol ]
Paketti: adacontrol-doc (1.20r7-3)
Links for adacontrol-doc
Debian-palvelut:
Imuroi lähdekoodipaketti adacontrol:
Ylläpitäjät:
External Resources:
- Kotisivu [www.adalog.fr]
Samankaltaisia paketteja:
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.
Muut pakettiin adacontrol-doc liittyvät paketit
|
|
|
|
-
- sug: adacontrol
- Ada rules controller
-
- sug: gnat
- GNU Ada compiler
Imuroi adacontrol-doc
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 1,261.8 kt | 1,884.0 kt | [tiedostoluettelo] |