adacontrol binary package in Ubuntu Bionic 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
* adactl_fix: automatically fix some violations.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-01-03 03:33:47 UTC | Published | Ubuntu Bionic amd64 | release | universe | devel | Optional | 1.19r10-2 | ||
|
|||||||||
Deleted | Ubuntu Bionic amd64 | proposed | universe | devel | Optional | 1.19r10-2 | |||
|
|||||||||
2018-01-03 03:33:51 UTC | Superseded | Ubuntu Bionic amd64 | release | universe | devel | Optional | 1.19r10-1 | ||
|
|||||||||
2018-01-04 06:10:10 UTC | Deleted | Ubuntu Bionic amd64 | proposed | universe | devel | Optional | 1.19r10-1 | ||
|
|||||||||
2018-01-02 08:13:33 UTC | Superseded | Ubuntu Bionic amd64 | release | universe | devel | Optional | 1.18r9-2 | ||
|