Man pages matching name check-mir in section 1:

check-mir.1.en	debian 10 / ubuntu-dev-tools
check-mir.1.en	debian 11 / ubuntu-dev-tools
check-mir.1.en	debian 12 / ubuntu-dev-tools