Binary package “asis-doc” in ubuntu trusty

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 documentation in HTML, info, PDF and plain text
 formats.