Source: adacontrol
Homepage: http://www.adalog.fr/en/adacontrol.html
Maintainer: Ludovic Brenta <lbrenta@debian.org>
Uploaders: Nicolas Boulenguez <nicolas@debian.org>
Section: devel
Priority: optional
Standards-Version: 4.3.0
Rules-Requires-Root: no
Build-Depends: debhelper-compat (= 12)
Build-Depends-Arch: gnat (>= 4.9),
# gnat (via gnat-X.Y): /usr/share/ada/debian_packaging*.mk
 libasis2018-dev,
 libgnatcoll17-dev,
# gprbuild handling gnat-6
 gprbuild (>= 2015-2),
 dos2unix
# test/run.sh
Build-Depends-Indep:
 texinfo, texlive-base, texlive-plain-generic, texlive-latex-base,
 texlive-fonts-recommended
Vcs-Browser: http://www.ada-france.org:8081/branch/changes/org.debian.adacontrol
Vcs-Mtn: mtn://www.ada-france.org?org.debian.adacontrol

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.
