adacontrol 1.19r10-2 (arm64 binary) in ubuntu bionic
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.
Details
- Package version:
- 1.19r10-2
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of adacontrol 1.19r10-2 in ubuntu bionic PROPOSED produced
these files:
- adacontrol_1.19r10-2_arm64.deb (1.2 MiB)
Package relationships
- Suggests: