Install adacontrol-doc by entering the following commands in the terminal:
sudo apt update sudo apt install adacontrol-doc
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.
Homepage: http://www.adalog.fr/en/adacontrol.html
Version: 1.19r10-2
Section: universe/doc