../ ptex2tex_0.4-1.debian.tar.gz 13-Nov-2011 01:10 9557 ptex2tex_0.4-1.dsc 13-Nov-2011 01:10 1338 ptex2tex_0.4-1_all.deb 13-Nov-2011 01:14 28582 ptex2tex_0.4.orig.tar.gz 13-Nov-2011 01:10 203141