../ ptex-jtex_1.7+1-15.diff.gz 30-May-2014 16:10 8488 ptex-jtex_1.7+1-15.dsc 30-May-2014 16:10 1013 ptex-jtex_1.7+1-15_all.deb 30-May-2014 16:38 300K ptex-jtex_1.7+1.orig.tar.gz 07-Oct-2004 18:51 4M