adacontrol 1.12r4-2 source package in Ubuntu


adacontrol (1.12r4-2) unstable; urgency=low

  * Recompile with gnat-4.6 and asis 2010.
  * debian/control (Architecture): any.
    (Standards-Version): bump to 3.9.2 with no changes required.

 -- Ludovic Brenta <email address hidden>  Tue,  6 Sep 2011 12:01:15 +0200

Upload details

Uploaded by:
Ludovic Brenta on 2011-09-07
Uploaded to:
Original maintainer:
Ludovic Brenta
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release on 2012-02-06 universe devel


File Size SHA-256 Checksum
adacontrol_1.12r4-2.dsc 1010 bytes 6bd021073c08c09c50fd7fb3fb5e3acf7331a55aeacf8c4f9559225a12ee1749
adacontrol_1.12r4.orig.tar.gz 1.5 MiB aa6cad2f17a79b3390cc0e8a0c18fb2dbf94019b8592042aa6fc252f00bb9a85
adacontrol_1.12r4-2.diff.gz 6.6 KiB 5f2574123029b0ef1bef160759ba56d71b1d8dd58b8a7cb8a67f8f0e07438e55

Available diffs

No changes file available.

Binary packages built by this source

adacontrol: 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
  * ptree: Prints a graphic representation of an ASIS tree with corresponding