../ ptex2tex_0.4-1.debian.tar.gz 12-Nov-2011 12:10 9557 ptex2tex_0.4-1.dsc 12-Nov-2011 12:10 1338 ptex2tex_0.4-1_all.deb 12-Nov-2011 12:14 28582 ptex2tex_0.4-1build1.debian.tar.xz 11-Jan-2020 19:08 9172 ptex2tex_0.4-1build1.dsc 11-Jan-2020 19:08 2029 ptex2tex_0.4.orig.tar.gz 12-Nov-2011 12:10 203141