Binary: gprconfig

Debian packages that has this binary:

Package: gprbuild

/usr/bin/gprconfig