/usr/bin/gnatbind
/usr/bin/gnatchop
/usr/bin/gnatclean
/usr/bin/gnat
/usr/bin/gnatfind
/usr/bin/gnatgcc
/usr/bin/gnathtml
/usr/bin/gnatkr
/usr/bin/gnatlink
/usr/bin/gnatls
/usr/bin/gnatmake
/usr/bin/gnatname
/usr/bin/gnatprep
/usr/bin/gnatxref
You may install this package on Debian with
apt-get
install gnat-4.9