Install asis-doc by entering the following commands in the terminal:
sudo apt update sudo apt install asis-doc
Ada Semantic Interface Specification (ASIS) documentation
ASIS (Ada Semantic Interface Specification) lets you develop applications to walk through the sources of your Ada programs and examine the semantic constructs. . This package contains the tutorial, news and examples, but not the manuals because of their license. They are available online at http://www.adacore.com/asis.