../ ptex-jtex_1.7+1-15.diff.gz 10-Jun-2020 07:50 8488 ptex-jtex_1.7+1-15.dsc 10-Jun-2020 07:50 1013 ptex-jtex_1.7+1-15_all.deb 10-Jun-2020 09:39 306904 ptex-jtex_1.7+1.orig.tar.gz 10-Jun-2020 07:50 3825443