Man pages matching name mkc_check_decl in section 1:

mkc_check_decl.1.en	debian 10 / mk-configure
mkc_check_decl.1.en	debian 11 / mk-configure
mkc_check_decl.1.en	debian 12 / mk-configure