../ 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 07-Nov-2024 01:30 301K ptex-jtex_1.7+1.orig.tar.gz 07-Nov-2024 01:30 4M