../ ptex2tex_0.4-1.debian.tar.gz 01-Nov-2011 19:47 9557 ptex2tex_0.4-1.dsc 01-Nov-2011 19:47 1338 ptex2tex_0.4-1_all.deb 01-Nov-2011 19:47 29620 ptex2tex_0.4.orig.tar.gz 01-Nov-2011 19:47 203141