Пакет: adacontrol (1.21r6b-7)
Ссылки для adacontrol
Ресурсы Trisquel:
Исходный код adacontrol:
Сопровождающий:
Original Maintainers:
- Ludovic Brenta
- Nicolas Boulenguez
Внешние ресурсы:
- Сайт [www.adalog.fr]
Подобные пакеты:
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.
Другие пакеты, относящиеся к adacontrol
|
|
|
-
- dep: libasis2019.1 (>= 2019)
- Ada Semantic Interface Specification (ASIS) runtime library
-
- dep: libc6 (>= 2.14) [amd64]
- GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.4) [armhf]
-
- dep: libgcc-s1 (>= 3.0) [не armhf]
- GCC support library
- dep: libgcc-s1 (>= 3.5) [armhf]
-
- dep: libgnat-10 (>= 10.2.1)
- runtime for applications compiled with GNAT (shared library)
-
- dep: libgnat-util10 (>= 10.2.1-1ubuntu1)
- GNU Ada compiler selected components (shared library)
-
- dep: libgnatcoll19 (>= 21.0.0)
- GNATColl, general purpose Ada library (runtime)
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109)
- support for programs processing GNAT projects (runtime)
-
- dep: libxmlada-dom7 (>= 21.0.0)
- XML/Ada, a full XML suite for Ada programmers (dom runtime)
-
- dep: libxmlada-input7 (>= 21.0.0)
- XML/Ada, a full XML suite for Ada programmers (input sources runtime)
-
- dep: libxmlada-sax7 (>= 21.0.0)
- XML/Ada, a full XML suite for Ada programmers (sax runtime)
-
- dep: libxmlada-schema7 (>= 21.0.0)
- XML/Ada, a full XML suite for Ada programmers (schema runtime)
-
- dep: libxmlada-unicode7 (>= 21.0.0)
- XML/Ada, a full XML suite for Ada programmers (unicode runtime)
-
- sug: adacontrol-doc
- Ada rules controller (documentation)
-
- enh: gnat-gps
- Пакет недоступен
-
- enh: gprbuild
- multi-language extensible build tool
Загрузка adacontrol
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
amd64 | 1 600,9 Кб | 6283 Кб | [список файлов] |
arm64 | 1 280,7 Кб | 5640 Кб | [список файлов] |
armhf | 1 395,9 Кб | 4385 Кб | [список файлов] |
ppc64el | 1 508,3 Кб | 7650 Кб | [список файлов] |