../ ptex-jtex_1.7+1-9.diff.gz 26-Dec-2002 23:17 7398 ptex-jtex_1.7+1-9.dsc 26-Dec-2002 23:17 576 ptex-jtex_1.7+1-9_all.deb 09-May-2005 16:46 543184 ptex-jtex_1.7+1.orig.tar.gz 06-Jun-2001 19:58 3825443