Package: adacontrol (1.12r4-3 and others)

[ Source: adacontrol  ]

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

• dep: dpkg (>= 1.15.4)

  Debian package management system

  or install-info

  Manage installed documentation in info format

• dep: gnat-4.4 [hppa]

  GNU Ada compiler

• dep: gnat-4.6 [not hppa]

  GNU Ada compiler

• dep: libasis2008 [hppa]

  Ada Semantic Interface Specification (ASIS) runtime library

• dep: libasis2010 [not hppa]

  Ada Semantic Interface Specification (ASIS) runtime library

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.1-udeb

• dep: libc0.3 (>= 2.2.6) [hurd-i386]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc0.3-udeb

• dep: libc6 (>= 2.0) [i386, mips, mipsel, powerpc, s390]

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.13) [s390x]

  dep: libc6 (>= 2.13-28) [armhf]

  dep: libc6 (>= 2.2) [hppa]

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armel]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.0) [alpha]

  Embedded 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 armel, armhf, hppa, hurd-i386]

  GCC support library

  dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  dep: libgcc1 (>= 4.2.1) [hurd-i386]

• dep: libgcc4 (>= 4.1.1) [hppa]

  GCC support library

• dep: libgnat-4.4 (>= 4.4.4-5) [hppa]

  Runtime library for GNU Ada applications

• dep: libgnat-4.6 (>= 4.6.2-3) [not alpha, armhf, hppa, hurd-i386, mips]

  runtime for applications compiled with GNAT (shared library)

  dep: libgnat-4.6 (>= 4.6.3-3) [armhf, hurd-i386]

  dep: libgnat-4.6 (>= 4.6.3-4+alpha) [alpha]

  dep: libgnat-4.6 (>= 4.6.3-5) [mips]

• dep: libgnatvsn4.4 (>= 4.4.4-5) [hppa]

  GNU Ada compiler version library

• dep: libgnatvsn4.6 (>= 4.6.2-3) [not alpha, armhf, hppa, hurd-i386, mips]

  GNU Ada compiler selected components (shared library)

  dep: libgnatvsn4.6 (>= 4.6.3-3) [armhf, hurd-i386]

  dep: libgnatvsn4.6 (>= 4.6.3-4+alpha) [alpha]

  dep: libgnatvsn4.6 (>= 4.6.3-5) [mips]

• dep: libunwind7 [ia64]

  A library to determine the call-chain of a program - runtime

Download adacontrol

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.12r4-3	1,608.6 kB	4,388.0 kB	[list of files]
amd64	1.12r4-3	1,467.9 kB	3,681.0 kB	[list of files]
armel	1.12r4-3	1,368.8 kB	3,340.0 kB	[list of files]
armhf	1.12r4-3	1,298.0 kB	2,750.0 kB	[list of files]
hppa (unofficial port)	1.12r4-1	1,654.4 kB	4,392.0 kB	[list of files]
hurd-i386	1.12r4-3+b1	1,410.4 kB	3,665.0 kB	[list of files]
i386	1.12r4-3	1,410.8 kB	3,668.0 kB	[list of files]
ia64	1.12r4-3	2,090.4 kB	6,491.0 kB	[list of files]
kfreebsd-amd64	1.12r4-3	1,468.4 kB	3,692.0 kB	[list of files]
kfreebsd-i386	1.12r4-3	1,410.0 kB	3,615.0 kB	[list of files]
mips	1.12r4-3	1,311.4 kB	3,673.0 kB	[list of files]
mipsel	1.12r4-3	1,304.7 kB	3,673.0 kB	[list of files]
powerpc	1.12r4-3	1,399.3 kB	3,523.0 kB	[list of files]
s390	1.12r4-3	1,322.7 kB	3,528.0 kB	[list of files]
s390x	1.12r4-3	1,498.4 kB	3,831.0 kB	[list of files]
sparc	1.12r4-3	1,291.9 kB	3,341.0 kB	[list of files]