adacontrol 1.17r3.1-1 source package in Ubuntu
Changelog
adacontrol (1.17r3.1-1) unstable; urgency=medium * Same upstream release, but tarball includes COPYING, HISTORY, readme.txt. -- Nicolas Boulenguez <email address hidden> Sat, 14 Nov 2015 10:39:00 +0100
Upload details
- Uploaded by:
- Ludovic Brenta
- Uploaded to:
- Sid
- Original maintainer:
- Ludovic Brenta
- Architectures:
- any
- Section:
- devel
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | devel |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
adacontrol_1.17r3.1-1.dsc | 2.1 KiB | 505cb8055d7706d4e052dce14c23165f7f7e43bd271f64f3c085b7454ebc2c48 |
adacontrol_1.17r3.1.orig.tar.gz | 1.9 MiB | e23d45eb6d7af9982285d9eeaf51ac046128b150d306c3be62f7415b4ee6c5d0 |
adacontrol_1.17r3.1-1.debian.tar.xz | 10.5 KiB | b805467e4c2e4c4dce1c3fd52f5dc946fedcced81c2c766326b6560b1b1da974 |
Available diffs
- diff from 1.16r11-4 to 1.17r3.1-1 (202.6 KiB)
- diff from 1.17r3-1 to 1.17r3.1-1 (28.9 KiB)
No changes file available.
Binary packages built by this source
- adacontrol: No summary available for adacontrol in ubuntu yakkety.
No description available for adacontrol in ubuntu yakkety.
- adacontrol-dbgsym: debug symbols for package adacontrol
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