|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
adacontrol
adacontrol | An Ada rules controller | Priority | |
Section | devel |
Installed size | 3640 |
Maintainer | Ludovic Brenta <lbrenta@debian.org> |
Architecture | i386 |
Version | 1.6r8-1 |
Depends | gnat-4.1, libasis2005, libc6 (>= 2.3.6-6), libgcc1 (>= 1 |
Suggests | gnat, gnat-3.2 |
File name | pool/main/a/adacontrol/adacontrol_1.6r8-1_i386.deb |
Description | 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. |
|
|