adacontrol - An Ada rules controller

Directory (beta)

Package Information

adacontrol - An Ada rules controller
/Main/Ubuntu/i386/devel/

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

Homepage: -

Package version: 1.8r8-1

Architecture: i386

Distribution: Ubuntu

Filename: adacontrol_1.8r8-1_i386.deb

Browse inside adacontrol_1.8r8-1_i386.deb:

pkg://adacontrol_1.8r8-1_i386.deb:1885966/  downloads
942 B 2008-05-11control  view  430+ mirrors
349 B 2008-05-11postinst  view  176 mirrors
401 B 2008-05-11prerm  view  300+ mirrors
[DIR]usr/  1000+ twin directories

Download adacontrol_1.8r8-1_i386.deb:

2008-05-11 ftp://ftp.itb.ac.id/pub/ubuntu/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb
2008-05-11 ftp://ftp.man.szczecin.pl/pub/Linux/ubuntu-security/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb
2008-05-11 ftp://ftp.ucr.ac.cr/pub/Unix/linux/distribuciones/ubuntu/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb
2008-05-11 ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb
2008-05-11 ftp://ftp.monash.edu/pub/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb
2008-05-11 ftp://ftp.nrc.ca/pub/systems/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb
2008-05-11 ftp://ftp.polytechnic.edu.na/pub/ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.8r8-1_i386.deb

Results 1 - 1

Homepage:	-
Package version:	1.8r8-1
Architecture:	i386
Distribution:	Ubuntu
Filename:	adacontrol_1.8r8-1_i386.deb