Man pages matching name miral-app in section 1:

miral-app.1.en	debian 11 / mir-demos
miral-app.1.en	debian 12 / mir-demos