Man pages matching name irexec in section 1:

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