pkg://adacontrol_1.9r4-1_amd64.deb:2054918/control  downloads

Package: adacontrol
Version: 1.9r4-1
Architecture: amd64
Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
Original-Maintainer: Ludovic Brenta <lbrenta@debian.org>
Installed-Size: 4764
Depends: gnat-4.3, libasis2007, libc6 (>= 2.2.5), libgcc1 (>= 1:4.1.1-21), libgnat-4.3 (>= 4.3.0-3ubuntu2), libgnatvsn4.3 (>= 4.3.0-3ubuntu2)
Enhances: gnat-gps
Section: devel
Priority: optional
Description: An Ada rules controller
 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