adacontrol-dbgsym 1.17r3.1-1 (arm64 binary) in ubuntu yakkety
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
Details
- Package version:
- 1.17r3.1-1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of adacontrol 1.17r3.1-1 in ubuntu xenial PROPOSED produced
these files:
- adacontrol-dbgsym_1.17r3.1-1_arm64.ddeb (1.8 MiB)
Package relationships
- Depends on: