[ Quellcode: adacontrol ]
Paket: adacontrol (1.12~b1-1) [universe]
Links für adacontrol
Ubuntu-Ressourcen:
Quellcode-Paket adacontrol herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Ludovic Brenta
It should generally not be necessary for users to contact the original maintainer.
Ähnliche Pakete:
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
Andere Pakete mit Bezug zu adacontrol
|
|
|
-
- dep: dpkg (>= 1.15.4)
- Debian package management system
- oder install-info
- Manage installed documentation in info format
-
- dep: gnat-4.4
- The GNU Ada compiler
-
- dep: libasis2008
- Ada Semantic Interface Specification (ASIS) runtime library
-
- dep: libc6 (>= 2.0) [i386]
- Embedded GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libgnat-4.4 (>= 4.4.3-1ubuntu1)
- Runtime library for GNU Ada applications
-
- dep: libgnatvsn4.4 (>= 4.4.3-1ubuntu1)
- GNU Ada compiler version library
adacontrol herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 2.253,0 kB | 5.292,0 kB | [Liste der Dateien] |
| i386 | 2.179,7 kB | 5.284,0 kB | [Liste der Dateien] |