../ src2tex_2.12h-8ubuntu1.diff.gz 16-Apr-2010 11:04 3193 src2tex_2.12h-8ubuntu1.dsc 16-Apr-2010 11:04 1686 src2tex_2.12h-8ubuntu1_amd64.deb 16-Apr-2010 22:05 440424 src2tex_2.12h-8ubuntu1_i386.deb 16-Apr-2010 11:05 431962 src2tex_2.12h-9.diff.gz 10-Jul-2016 20:39 2863 src2tex_2.12h-9.dsc 10-Jul-2016 20:39 1612 src2tex_2.12h-9_amd64.deb 10-Jul-2016 20:39 426578 src2tex_2.12h-9_i386.deb 10-Jul-2016 20:39 423144 src2tex_2.12h.orig.tar.gz 26-Jul-2004 23:42 373659