../ ptex2tex_0.4-1.debian.tar.gz 19-Apr-2012 03:06 9557 ptex2tex_0.4-1.dsc 19-Apr-2012 03:06 1338 ptex2tex_0.4-1_all.deb 19-Apr-2012 07:26 29620 ptex2tex_0.4.orig.tar.gz 19-Apr-2012 03:06 203141