Man pages matching name gnat-gps in section 1:

gnat-gps.1.en

debian 10 / gnat-gps