[ Source: adacontrol ]
Пакунок: adacontrol-doc (1.21r6b-7)
Links for adacontrol-doc
Debian Resources:
Download Source Package adacontrol:
Maintainers:
External Resources:
- Homepage [www.adalog.fr]
Similar packages:
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.
Інші пакунки пов'язані з adacontrol-doc
|
|
|
|
-
- sug: adacontrol
- Ada rules controller
-
- sug: gnat
- GNU Ada compiler
Завантажити adacontrol-doc
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
all | 1,282.0 kB | 1,917.0 kB | [список файлів] |