 |
| FTP Search |
| Directory (beta) |
| Content Search (beta) |
|
|
|
|
asis-programs - Ada Semantic Interface Specification (ASIS) example programs
/Main/Debian/powerpc/devel/
ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs.* asistant is an interactive command-line tool to explore the ASIS parse tree of a program. * gnatcheck verifies the conformance of source text to coding conventions * gnatelim finds out unused subprograms and eliminates them. * gnatmetric calculates metrics such as code complexity. * gnatpp is a pretty-printer which reformats Ada source text according to a default or user-specified style guide. * gnatstub generates an empty but compilable body for a given specification.
Or, if you are fearless
join the beta test
of our new ajax based
web RSS reader.
Homepage: - Package version: 2005-5 Architecture: powerpc Distribution: Debian Filename: asis-programs_2005-5_powerpc.deb
Browse inside asis-programs_2005-5_powerpc.deb:
pkg://asis-programs_2005-5_powerpc.deb:673376/ downloads1.01 KB 2006-08-07control view 330+ mirrors
1.17 KB 2006-08-07md5sums view 147 mirrors
[DIR]usr/ 1000+ twin directories
Download asis-programs_2005-5_powerpc.deb:
2008-07-02 ftp://130.75.2.22/pub/mirror/linux/debian-mirror/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-09 ftp://ftp.itb.ac.id/pub/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-09 ftp://202.18.64.24/pub/linux/debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-09 ftp://core.ring.gr.jp/pub/linux/debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-09 ftp://ftp.jp.xemacs.org/pub/linux/debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://64.50.236.52/.1/debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://64.50.238.52/.1/debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://sapi.vlsm.org/.1/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://24.215.0.24/Debian/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.stu.edu.tw/Linux/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://200.17.202.1/debian-dists/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://200.17.202.16/debian-dists/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://200.17.202.17/debian-dists/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.br.debian.org/debian-dists/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://130.225.254.99/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://161.53.160.16/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://193.226.140.51/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://204.152.191.7/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://212.87.224.145/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://216.107.0.37/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://217.75.96.164/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://77.88.19.68/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://cudlug.cudenver.edu/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://debian.lcs.mit.edu/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.ankara.edu.tr/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.at.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.bg.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.bononia.it/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.cl.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.debian.de/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.debian.or.jp/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.fr.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.hands.com/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.hk.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.linux.it/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.med.univ-tours.fr/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.nz.debian.org/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.port80.se/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.sac.sk/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.skolelinux.no/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.tuke.sk/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.uevora.pt/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
2006-08-08 ftp://ftp.uvigo.es/debian/pool/main/a/asis/asis-programs_2005-5_powerpc.deb
| Results 1 - 1 |