Man pages matching name pronto2lirc in section 1:

pronto2lirc.1.en	debian 10 / lirc
pronto2lirc.1.en	debian 11 / lirc
pronto2lirc.1.en	debian 12 / lirc