Binary: gnatkr

CentOS packages that has this binary:

Package: gcc-gnat

/usr/bin/gnatkr

Debian packages that has this binary:

Package: gnat-4.9

/usr/bin/gnatkr