Man pages matching name avirec in section 1:

avirec.1.en	debian 10 / libavifile-0.7-bin
avirec.1.en	debian 11 / libavifile-0.7-bin
avirec.1.en	debian 12 / libavifile-0.7-bin