FTP Search

Directory

Content Search

adacontrol

An Ada rules controller

/Main/Ubuntu/amd64/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

Info:

Homepage:	-
Package version:	1.9r4-1
Architecture:	amd64
Distribution:	Ubuntu
Filename:	adacontrol_1.9r4-1_amd64.deb

Browse inside adacontrol_1.9r4-1_amd64.deb:

pkg://adacontrol_1.9r4-1_amd64.deb:2054918/  info  downloads

[DIR]usr/  65535+ twin directories
401 B  2007-05-15prerm  view  309+ mirrors
349 B  2007-05-15postinst  view  199 mirrors
858 B  2007-05-15control  view  463+ mirrors

Download adacontrol_1.9r4-1_amd64.deb:

2008-05-29  ftp://ftp.linux.it/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.kfki.hu/pub/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.nz.debian.org/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.uni-hannover.de/pub/mirror/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.port80.se/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://130.251.19.2/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.uni-kassel.de/Mirrors/archive.ubuntu.com/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://24.215.0.24/Ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.cs.mun.ca/pub/mirror/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://91.189.88.31/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://91.189.88.46/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.free.fr/.mirrors6/ftp.ubuntu.com/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.ccs.neu.edu/net/mirrors/archive.ubuntu.com/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.ankara.edu.tr/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.net.usf.edu/pub3/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.rz.tu-bs.de/pub/mirror/.mounts/sdc1/archive.ubuntu.com/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.phys.ttu.edu/pub/ubuntu-mirror/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.cvut.cz/mirrors/ubuntu.com/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.int-evry.fr/mirror4/ubuntu.com/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://193.219.61.67/pub/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.uwa.edu.au/mirrors/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://64.50.238.52/.1/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.crihan.fr/mirrors/archive.ubuntu.com/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://64.50.236.52/.1/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.tiscali.nl/pub/mirror/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://147.52.159.12/mirrors/linux/ubuntu/packages/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.fh-giessen.de/pub/linux/ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://77.88.19.68/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://200.17.202.1/ubuntu-all/archive/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.cn.kernel.org/ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.uga.edu/pub/unix/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp2.sk.freebsd.org/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.lug.udel.edu/pub/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.dei.uc.pt/pub/linux/ubuntu/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://200.17.202.16/ubuntu-all/archive/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.tuke.sk/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.udc.es/mirror/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://mirrors.hpcf.upr.edu/pub/Mirrors/ubuntu/archive/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2007-05-31  ftp://ftp.mn-linux.org/linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://217.75.96.164/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://ftp.de.netclusive.de/pub/Linux/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://mir1.ovh.net/lv0/ftp.ubuntu.com/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://ftp.ntnu.no/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://ftp.nfsi.pt/pub/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://83.166.201.99/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://na.mirror.garr.it/pub/1/ubuntu-archive/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://ftp.tudelft.nl/pub/Linux/archive.ubuntu.com/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://ftp.nz.kernel.org/pub/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb
2008-05-29  ftp://ftp.lyx.org/pub/ubuntu/pool/universe/a/adacontrol/adacontrol_1.9r4-1_amd64.deb