gnat(1) on Linux

The text 3cf3e8cc8de3, as Debian 3.1 (Sarge) shipped it.

GNAT toolbox

gnat(1) on Linux now