Man pages matching name srec_mif in section 5:

srec_mif.5.en	debian 10 / srecord
srec_mif.5.en	debian 11 / srecord
srec_mif.5.en	debian 12 / srecord