|
|
|
adacontrol - An Ada rules controller
/Main/Debian/sparc/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.
Homepage: - Package version: 1.6r8-1 Architecture: sparc Distribution: Debian Filename: adacontrol_1.6r8-1_sparc.deb
Browse inside adacontrol_1.6r8-1_sparc.deb:
pkg://adacontrol_1.6r8-1_sparc.deb:1532136/ downloads644 B 2006-12-05control view 600+ mirrors
349 B 2006-12-05postinst view 176 mirrors
401 B 2006-12-05prerm view 300+ mirrors
[DIR]usr/ 1000+ twin directories
Download adacontrol_1.6r8-1_sparc.deb:
2006-12-06 ftp://64.50.236.52/.1/debian/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://64.50.238.52/.1/debian/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://24.215.0.24/Debian/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.stu.edu.tw/Linux/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://200.17.202.1/debian-dists/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://200.17.202.16/debian-dists/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://200.17.202.17/debian-dists/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.br.debian.org/debian-dists/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://130.225.254.99/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://161.53.160.16/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://212.87.224.145/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://216.107.0.37/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://217.75.96.164/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://77.88.19.68/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://cudlug.cudenver.edu/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://debian.lcs.mit.edu/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.ankara.edu.tr/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.at.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.bg.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.bononia.it/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.cl.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.debian.or.jp/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.fr.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.hands.com/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.hk.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.linux.it/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.med.univ-tours.fr/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.nz.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.port80.se/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.sac.sk/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.tuke.sk/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.uevora.pt/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.uvigo.es/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp2.sk.freebsd.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://140.113.168.127/distributions/Debian/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.gmd.de/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.tugraz.at/ftp.tu-graz.ac.at/.mirror-sites/ftp.at.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.iitm.ac.in/linux/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.ussg.iu.edu/linux/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://mir1.ovh.net/lv0/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://ftp.ens-cachan.fr/mirror/Debian/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://193.145.205.32/mirror/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
2006-12-06 ftp://82.159.136.126/mirror/debian/pool/main/a/adacontrol/adacontrol_1.6r8-1_sparc.deb
| Results 1 - 1 |