Man pages matching name semanage_modify in section 3:

semanage_modify.3.en	debian 10 / libsemanage1-dev
semanage_modify.3.en	debian 11 / libsemanage1-dev
semanage_modify.3.en	debian 12 / libsemanage-dev