gnatf(1) on Linux

The text b2a0e1b4c764, as Debian 2.1 (Slink), Debian 2.0 (Hamm), Debian 1.3 (Bo) shipped it. The page shows this text now.

gnat code validator

gnatf(1) on Linux now