../ src2tex_2.12h-9.diff.gz 11-Jun-2020 05:11 2863 src2tex_2.12h-9.dsc 11-Jun-2020 05:11 1612 src2tex_2.12h-9_amd64.deb 11-Jun-2020 04:10 426578 src2tex_2.12h-9_i386.deb 11-Jun-2020 01:29 423144 src2tex_2.12h.orig.tar.gz 10-Jun-2020 10:54 373659