Install ada-reference-manual-2012 by entering the following commands in the terminal:
sudo apt update sudo apt install ada-reference-manual-2012
Description:
Ada 2012 language standard
The Ada Reference Manual is the ISO standard describing the programming language Ada. . This package provides the plain and annotated versions of the 2012 ARM in HTML, PDF, info, and plain text formats.
Homepage: http://www.stephe-leake.org/ada/arm.html
Version: 1:2012.3-1
Section: universe/doc