Man pages matching name mipe06to07 in section 1:

mipe06to07.1.en	debian 10 / mipe
mipe06to07.1.en	debian 11 / mipe
mipe06to07.1.en	debian 12 / mipe