gnatkr(1) on Linux

The text 215d8bde0f88, as Debian 2.2 (Potato) shipped it.

GNAT toolbox

gnatkr(1) on Linux now