Man pages matching name src2tex in section 1:

src2tex.1.en	debian 10 / src2tex
src2tex.1.en	debian 11 / src2tex
src2tex.1.en	debian 12 / src2tex