Man pages matching name semodule in section 8:

semodule.8.en	debian 10 / policycoreutils
semodule.8.en	debian 11 / policycoreutils
semodule.8.ru	debian 11 / policycoreutils
semodule.8.en	debian 12 / policycoreutils
semodule.8.ru	debian 12 / policycoreutils