Man pages matching name aviplay in section 1:

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