[ Source: adacontrol ]
Package: adacontrol (1.21r6b-7 and others)
Links for adacontrol
Debian Resources:
Download Source Package adacontrol:
Maintainers:
External Resources:
- Homepage [www.adalog.fr]
Similar packages:
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 * adactl_fix: automatically fix some violations.
Other Packages Related to adacontrol
|
|
|
|
-
- dep: libasis2019 (>= 2019) [alpha]
- Ada Semantic Interface Specification (ASIS) runtime library
-
- dep: libasis2019.1 (>= 2019) [not alpha]
- Ada Semantic Interface Specification (ASIS) runtime library
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.2) [hppa]
- dep: libc6 (>= 2.27) [riscv64]
- dep: libc6 (>= 2.31) [sh4]
- dep: libc6 (>= 2.4) [armel, armhf, i386, mips64el, ppc64, s390x, sparc64]
-
- dep: libc6.1 (>= 2.1.3) [alpha]
- GNU C Library: Shared libraries
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.31) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, i386, ia64]
- GCC support library
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, ia64]
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC support library
-
- dep: libgnat-10 (>= 10.2.0) [riscv64]
- runtime for applications compiled with GNAT (shared library)
- dep: libgnat-10 (>= 10.2.1) [not alpha, riscv64]
-
- dep: libgnat-9 (>= 9.3.0) [alpha]
- runtime for applications compiled with GNAT (shared library)
-
- dep: libgnat-util10 (>= 10.2.0-23) [riscv64]
- GNU Ada compiler selected components (shared library)
- dep: libgnat-util10 (>= 10.2.1-1) [not alpha, riscv64]
-
- dep: libgnatcoll18 (>= 19) [alpha]
- Package not available
-
- dep: libgnatcoll19 (>= 21.0.0) [not alpha]
- GNATColl, general purpose Ada library (runtime)
-
- dep: libgnatprj7 (>= 2019) [alpha]
- Package not available
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109) [not alpha]
- support for programs processing GNAT projects (runtime)
-
- dep: libgnatvsn9 (>= 9.3.0-12) [alpha]
- GNU Ada compiler selected components (shared library)
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
-
- dep: libxmlada-dom6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-dom7 (>= 21.0.0) [not alpha]
- XML/Ada, a full XML suite for Ada programmers (dom runtime)
-
- dep: libxmlada-input6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-input7 (>= 21.0.0) [not alpha]
- XML/Ada, a full XML suite for Ada programmers (input sources runtime)
-
- dep: libxmlada-sax6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-sax7 (>= 21.0.0) [not alpha]
- XML/Ada, a full XML suite for Ada programmers (sax runtime)
-
- dep: libxmlada-schema6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-schema7 (>= 21.0.0) [not alpha]
- XML/Ada, a full XML suite for Ada programmers (schema runtime)
-
- dep: libxmlada-unicode6 (>= 19) [alpha]
- Package not available
-
- dep: libxmlada-unicode7 (>= 21.0.0) [not alpha]
- XML/Ada, a full XML suite for Ada programmers (unicode runtime)
-
- sug: adacontrol-doc
- Ada rules controller (documentation)
Download adacontrol
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 1.21r6b-5 | 1,567.6 kB | 7,630.0 kB | [list of files] |
amd64 | 1.21r6b-7 | 1,620.0 kB | 6,298.0 kB | [list of files] |
arm64 | 1.21r6b-7 | 1,302.5 kB | 5,655.0 kB | [list of files] |
armel | 1.21r6b-7 | 1,349.5 kB | 5,652.0 kB | [list of files] |
armhf | 1.21r6b-7 | 1,415.1 kB | 4,400.0 kB | [list of files] |
hppa (unofficial port) | 1.21r6b-7 | 1,379.8 kB | 5,892.0 kB | [list of files] |
i386 | 1.21r6b-7 | 1,725.3 kB | 7,220.0 kB | [list of files] |
ia64 (unofficial port) | 1.21r6b-7 | 1,950.1 kB | 13,282.0 kB | [list of files] |
mips64el | 1.21r6b-7 | 1,246.2 kB | 7,624.0 kB | [list of files] |
ppc64 (unofficial port) | 1.21r6b-7 | 1,365.3 kB | 7,729.0 kB | [list of files] |
ppc64el | 1.21r6b-7 | 1,389.5 kB | 7,153.0 kB | [list of files] |
riscv64 (unofficial port) | 1.21r6b-7 | 1,472.0 kB | 5,350.0 kB | [list of files] |
s390x | 1.21r6b-7 | 1,333.7 kB | 6,226.0 kB | [list of files] |
sh4 (unofficial port) | 1.21r6b-7 | 1,711.0 kB | 6,020.0 kB | [list of files] |
sparc64 (unofficial port) | 1.21r6b-7 | 1,208.6 kB | 6,060.0 kB | [list of files] |