Man pages matching name mido3-ports in section 1:

mido3-ports.1.en	debian 10 / python3-mido
mido3-ports.1.en	debian 11 / python3-mido
mido3-ports.1.en	debian 12 / python3-mido