FTP Search

Directory

Content Search

adacontrol

An Ada rules controller

/Main/Debian/hppa/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:	hppa
Distribution:	Debian
Filename:	adacontrol_1.9r4-1_hppa.deb

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

pkg://adacontrol_1.9r4-1_hppa.deb:2025042/  info  downloads

[DIR]usr/  65535+ twin directories
401 B  2007-05-31prerm  view  309+ mirrors
349 B  2007-05-31postinst  view  199 mirrors
947 B  2007-05-31control  view  389+ mirrors

Download adacontrol_1.9r4-1_hppa.deb:

2007-05-15  ftp://ftp.linux.it/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://debian.lcs.mit.edu/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.kfki.hu/pub/linux/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.skynet.be/mirror1/debian.org/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.nz.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.port80.se/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://24.215.0.24/Debian/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.rfc822.org/pub/mirror/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.fr.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.cl.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://64.15.134.18/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.ankara.edu.tr/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.fi.debian.org/pub/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://161.53.160.16/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://193.219.61.67/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.med.univ-tours.fr/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.sac.sk/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://64.50.238.52/.1/debian/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.crihan.fr/mirrors/ftp.debian.org/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://64.50.236.52/.1/debian/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.tiscali.nl/pub/mirror/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.demon.nl/disk3/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://147.52.159.12/mirrors/linux/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.wsisiz.edu.pl/pub/Linux/Debian/ftp.debian.org/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://77.88.19.68/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-12  ftp://ftp.uni-wuppertal.de/pub/linux/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://200.17.202.1/debian-dists/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp2.sk.freebsd.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://200.17.202.16/debian-dists/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.tuke.sk/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2007-05-15  ftp://ftp.udc.es/mirror/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://217.75.96.164/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://mir1.ovh.net/lv0/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.nfsi.pt/pub/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.tudelft.nl/pub/Linux/ftp.debian.org/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.bononia.it/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.li.kernel.org/pub/.3/ftp.debian.org/pub/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://cudlug.cudenver.edu/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.cz.debian.org/pub/mirror/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.eq.uc.pt/pub/software/unix/Linux/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://204.152.191.39/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.ecc.u-tokyo.ac.jp/mirror/ftp1.debian.or.jp/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.estpak.ee/pub/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://zoffy.asahi-net.or.jp/pub/linux/debian/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.at.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://212.87.224.145/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.uk.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb
2008-05-13  ftp://ftp.esat.net/mirrors/.0/ftp.debian.org/debian/pool/main/a/adacontrol/adacontrol_1.9r4-1_hppa.deb