Man pages matching name srec_ppx in section 5:

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