Manpages of asis-programs in Debian testing

• asistant(1)
• gnat2xml(1)
• gnatcheck(1)
• gnatelim(1)
• gnatmetric(1)
• gnatpp(1)
• gnatstub(1)
• gnattest(1)