../ 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_amd64.deb 10-Jul-2016 20:39 426578 src2tex_2.12h-9_i386.deb 10-Jul-2016 20:39 423144