Man pages matching name mcu8051ide in section 1:

mcu8051ide.1.en	debian 10 / mcu8051ide
mcu8051ide.1.en	debian 11 / mcu8051ide
mcu8051ide.1.en	debian 12 / mcu8051ide