Install libgnatcoll-doc by entering the following commands in the terminal:
sudo apt update sudo apt install libgnatcoll-doc
Description:
GNATColl, general purpose Ada library (documentation)
The GNAT Component Collection deals with: module tracing, efficient file IO, static string searching (Boyer-Moore), e-mails and mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging, shell scripting. Components relying on external dependencies are distributed in separate packages. . This package contains the documentation in text, PDF and HTML.
Homepage: http://libre.adacore.com/libre/tools
Version: 17.0.2017-3
Section: universe/doc