Man pages matching name lav2mpeg in section 1:

lav2mpeg.1.en	debian 10 / mjpegtools
lav2mpeg.1.en	debian 11 / mjpegtools
lav2mpeg.1.en	debian 12 / mjpegtools