Man pages matching name gnatmetric in section 1:

gnatmetric.1.en	debian 10 / asis-programs
gnatmetric.1.en	debian 11 / asis-programs