adacontrol 1.12r4-1 source package in Ubuntu
Changelog
adacontrol (1.12r4-1) unstable; urgency=low * New upstream release: minor bug fixes and documentation updates. -- Ubuntu Archive Auto-Sync <email address hidden> Fri, 15 Oct 2010 09:24:04 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Natty
- Original maintainer:
- Ludovic Brenta
- Architectures:
- amd64 armel hppa i386 ia64 kfreebsd-amd64 kfreebsd-i386 mipsel powerpc ppc64 s390 sparc
- Section:
- devel
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| adacontrol_1.12r4.orig.tar.gz | 1.5 MiB | aa6cad2f17a79b3390cc0e8a0c18fb2dbf94019b8592042aa6fc252f00bb9a85 |
| adacontrol_1.12r4-1.diff.gz | 6.6 KiB | 1a5b40492cce3c054da5095b15f6b02d6c0b7e8ffcb5db1f2a84b2ff653b1a13 |
| adacontrol_1.12r4-1.dsc | 1.1 KiB | 001956422ce9fc8d75b2835ac86f8b3d07b0a8523d077a7716e8bf14b6e3c175 |
Available diffs
- diff from 1.12r3-1 to 1.12r4-1 (14.1 KiB)
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
name
* ptree: Prints a graphic representation of an ASIS tree with corresponding
source
