adacontrol binary package in Ubuntu Precise amd64
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 12:04:05 UTC | Published | Ubuntu Precise amd64 | release | universe | devel | Optional | 1.12r4-2 | ||
|
|||||||||
2012-02-06 12:04:28 UTC | Superseded | Ubuntu Precise amd64 | release | universe | devel | Optional | 1.12r4-1 | ||
|