../ ptex-jtex_1.7+1-15.diff.gz 11-Apr-2022 04:05 8488 ptex-jtex_1.7+1-15.dsc 11-Apr-2022 04:05 1013 ptex-jtex_1.7+1-15_all.deb 11-Apr-2022 04:06 301K ptex-jtex_1.7+1.orig.tar.gz 11-Apr-2022 04:05 4M