gnatmake(1) on Linux

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

GNAT toolbox

gnatmake(1) on Linux now