../ ptex2tex_0.4-1.debian.tar.gz 12-Nov-2011 20:10 9557 ptex2tex_0.4-1.dsc 12-Nov-2011 20:10 1338 ptex2tex_0.4-1_all.deb 12-Nov-2011 20:14 28K ptex2tex_0.4.orig.tar.gz 12-Nov-2011 20:10 198K