Man pages matching name gnatmake in section 1:

gnatmake.1.en	debian 10 / gnat-7
gnatmake.1.en	debian 10 / gnat-8
gnatmake.1.en	debian 11 / gnat-10
gnatmake.1.en	debian 11 / gnat-9
gnatmake.1.en	debian 12 / gnat-11
gnatmake.1.en	debian 12 / gnat-12