Ubuntu
adacontrol package

adacontrol 1.19r10-2 source package in Ubuntu

Changelog

adacontrol (1.19r10-2) unstable; urgency=medium

  * Remove remaining calls to Build-Depends-Arch during -indep builds.

 -- Nicolas Boulenguez <email address hidden>  Tue, 02 Jan 2018 17:38:30 +0100

Upload details

Uploaded by:
Ludovic Brenta
Uploaded to:
Sid
Original maintainer:
Ludovic Brenta
Architectures:
any all
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe devel

Downloads

File Size SHA-256 Checksum
adacontrol_1.19r10-2.dsc 2.2 KiB 4d603626780a63d8c3717473e3b39a974a3129db90cdd20bebe9578113e2053e
adacontrol_1.19r10.orig.tar.xz 715.7 KiB 1a180fd05a531264ad4d9f50860984607090b0dec51943f8eb4125ed034f38db
adacontrol_1.19r10-2.debian.tar.xz 13.3 KiB 2a8c308f04f18ad8d33400aa11dbdc1bba3ce4abc8b7a2f7fcdae83fa9ce87fc

Available diffs

No changes file available.

Binary packages built by this source

adacontrol: 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
  * adactl_fix: automatically fix some violations.

adacontrol-dbgsym: debug symbols for adacontrol
adacontrol-doc: Ada rules controller (documentation)

 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 contains the documentation.