Man pages matching name checkmodule in section 8:

checkmodule.8.en	debian 10 / checkpolicy
checkmodule.8.en	debian 11 / checkpolicy
checkmodule.8.ru	debian 11 / checkpolicy
checkmodule.8.en	debian 12 / checkpolicy
checkmodule.8.ru	debian 12 / checkpolicy