Installion's Lion Logo

Installion.co.uk

How To Install asis-doc On Debian 9

To install asis-doc just follow these instructions.

Install asis-doc

Ada Semantic Interface Specification (ASIS) documentationDebian 9.0doc2015-1
sudo apt-get install asis-doc

Which will install asis-doc and any other packages on which it depends.

Package Data

Packageasis-doc
Version2015-1
MaintainerLudovic Brenta <lbrenta@debian.org>
Home pagehttp://libre.adacore.com/libre/tools
DescriptionAda Semantic Interface Specification (ASIS) documentation
Distrodebian
Releasestretch
Repomain
Sectiondoc

Dependencies

asis-doc is not dependent on any other packages.