Install asis-doc by entering the following commands in the terminal:
sudo apt update sudo apt install asis-doc
Description:
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.
Homepage: http://libre.adacore.com/libre/tools
Version: 2017-2
Section: universe/doc