Source: adacontrol Homepage: http://www.adalog.fr/en/adacontrol.html Maintainer: Ludovic Brenta Uploaders: Nicolas Boulenguez Section: devel Priority: optional Standards-Version: 4.5.1 Rules-Requires-Root: no Build-Depends: debhelper-compat (= 13) Build-Depends-Arch: dos2unix, # test/run.sh gnat, # gnat (via gnat-X): /usr/share/ada/debian_packaging*.mk gprbuild (>= 2021.0.0.0778b109-2), libasis2019.1-dev (>= 2019-4), libgnatcoll19-dev (>= 21.0.0-2), Build-Depends-Indep: texinfo, texlive-base, texlive-fonts-recommended, texlive-latex-base, texlive-plain-generic, Vcs-Browser: https://salsa.debian.org/debian/adacontrol Vcs-Git: https://salsa.debian.org/debian/adacontrol.git Package: adacontrol Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Enhances: gnat-gps, gprbuild Suggests: adacontrol-doc Description: 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. Package: adacontrol-doc Section: doc Architecture: all Multi-Arch: foreign Replaces: adacontrol (<< 1.17r3.1-2) Breaks: adacontrol (<< 1.17r3.1-2) Depends: ${misc:Depends} Suggests: gnat, adacontrol Description: Ada rules controller (documentation) 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 contains the documentation.