[ bullseye ]
[ sid ]
Package: adacontrol (1.21r6b-7) [debports]
Links for adacontrol
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [www.adalog.fr]
Similar packages:
controllore di regole Ada
AdaControl verifica che il software Ada soddisfi i requisiti di un insieme di regole parametrizzabili. Non è pensato per aumentare i controlli fatti dal compilatore, ma piuttosto per cercare particolari violazioni delle regole di buone pratiche, o per controllare che alcune regole siano seguite a livello di progetto.
Questo pacchetto contiene anche le seguenti utilità:
* pfni: Print Full Name Image, espande qualunque identificatore in un nome pienamente qualificato; * ptree: stampa una rappresentazione grafica di un albero ASIS con il codice corrispondente; * adactl_fix: corregge automaticamente alcune violazioni.
Other Packages Related to adacontrol
|
|
|
|
-
- dep: libasis2019.1 (>= 2019)
- libreria runtime di ASIS (Ada Semantic Interface Specification)
-
- dep: libc6 (>= 2.27) [riscv64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libc6.1 (>= 2.31) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
-
- dep: libgcc-s1 (>= 3.0) [riscv64]
- libreria di supporto a GCC
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgnat-10 (>= 10.2.0) [riscv64]
- runtime per le applicazioni compilate con GNAT (libreria condivisa)
- dep: libgnat-10 (>= 10.2.1) [ia64]
-
- dep: libgnat-util10 (>= 10.2.0-23) [riscv64]
- componenti selezionati del compilatore GNU Ada (libreria condivisa)
- dep: libgnat-util10 (>= 10.2.1-1) [ia64]
-
- dep: libgnatcoll19 (>= 21.0.0)
- GNATColl, libreria Ada di uso generale (runtime)
-
- dep: libgnatprj8 (>= 2021.0.0.0778b109)
- support for programs processing GNAT projects (runtime)
-
- dep: libunwind8 [ia64]
- libreria per tracciare la catena di chiamate di un programma - runtime
-
- dep: libxmlada-dom7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime dom)
-
- dep: libxmlada-input7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime input sources)
-
- dep: libxmlada-sax7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime sax)
-
- dep: libxmlada-schema7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime schema)
-
- dep: libxmlada-unicode7 (>= 21.0.0)
- XML/Ada, suite XML completa per programmatori Ada (runtime unicode)
-
- sug: adacontrol-doc
- Package not available
Download adacontrol
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| ia64 (unofficial port) | 1,950.1 kB | 13,282.0 kB | [list of files] |
| riscv64 (unofficial port) | 1,472.0 kB | 5,350.0 kB | [list of files] |