adacontrol binary package in Ubuntu Precise armel
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 also contains the following utilities:
.
* pfni: Print Full Name Image - expands any identifier to a fully-qualified
name
* ptree: Prints a graphic representation of an ASIS tree with corresponding
source
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2012-02-06 13:03:45 UTC | Published | Ubuntu Precise armel | release | universe | devel | Optional | 1.12r4-2 | ||
|
|||||||||
2012-02-06 13:03:57 UTC | Superseded | Ubuntu Precise armel | release | universe | devel | Optional | 1.12r4-1 | ||
|