[  etch  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Source: adacontrol  ]

Package: adacontrol (1.9r4-3)

An Ada rules controller

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

Tags: Software Development: Ada Development, Implemented in: Ada

Other Packages Related to adacontrol

  • depends
  • recommends
  • suggests
  • dep: dpkg (>= 1.15.4)
    Debian package management system
    or install-info
    Manage installed documentation in info format
  • dep: gnat-4.3
    The GNU Ada compiler
  • dep: libasis2007.1
    Ada Semantic Interface Specification (ASIS) runtime library
  • dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.1-udeb
  • dep: libc6 (>= 2.2.5) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.5) [powerpc]
    dep: libc6 (>= 2.3.6-6~) [i386]
    dep: libc6 (>= 2.4) [mips, mipsel, s390]
    dep: libc6 (>= 2.5) [hppa]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libc6.1 (>= 2.0) [alpha]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6.1-udeb
    dep: libc6.1 (>= 2.2) [ia64]
  • dep: libgcc1 (>= 1:4.1.1) [not hppa, kfreebsd-amd64, kfreebsd-i386]
    GCC support library
    dep: libgcc1 (>= 1:4.4) [kfreebsd-amd64, kfreebsd-i386]
  • dep: libgcc4 (>= 4.1.1) [hppa]
    GCC support library
  • dep: libgnat-4.3 (>= 4.3.4-2) [not kfreebsd-amd64]
    Runtime library for GNU Ada applications
    dep: libgnat-4.3 (>= 4.3.4-4) [kfreebsd-amd64]
  • dep: libgnatvsn4.3 (>= 4.3.4-2) [not kfreebsd-amd64]
    GNU Ada compiler version library
    dep: libgnatvsn4.3 (>= 4.3.4-4) [kfreebsd-amd64]
  • dep: libunwind7 [ia64]
    A library to determine the call-chain of a program - runtime

Download adacontrol

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 1,993.5 kB5092 kB [list of files]
amd64 1,999.5 kB4672 kB [list of files]
hppa 1,973.8 kB4436 kB [list of files]
i386 1,932.8 kB4660 kB [list of files]
ia64 2,566.5 kB7536 kB [list of files]
kfreebsd-amd64 1,999.6 kB4726 kB [list of files]
kfreebsd-i386 1,940.9 kB4628 kB [list of files]
mips 1,867.1 kB5268 kB [list of files]
mipsel 1,858.5 kB5268 kB [list of files]
powerpc 1,977.4 kB4720 kB [list of files]
s390 1,822.7 kB4492 kB [list of files]
sparc 1,808.9 kB4240 kB [list of files]