Package: asis-programs

"asis-programs" package binaries on Debian:

/usr/bin/asistant /usr/bin/gnat2xml /usr/bin/gnatcheck /usr/bin/gnatelim /usr/bin/gnatmetric /usr/bin/gnatpp /usr/bin/gnatstub /usr/bin/gnattest

You may install this package on Debian with apt-get install asis-programs