../ ptex-jtex_1.7+1-15.diff.gz 07-Nov-2024 01:30 8488 ptex-jtex_1.7+1-15.dsc 07-Nov-2024 01:30 1013 ptex-jtex_1.7+1-15_all.deb 30-May-2014 04:38 300K ptex-jtex_1.7+1.orig.tar.gz 07-Nov-2024 01:30 4M