Man pages matching name ibdmchk in section 1:

ibdmchk.1.en	debian 10 / ibutils
ibdmchk.1.en	debian 11 / ibutils
ibdmchk.1.en	debian 12 / ibutils