Man pages matching name gnatelim in section 1:

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