../ ptex-jtex_1.7+1-15.diff.gz 07-Aug-2019 08:54 8488 ptex-jtex_1.7+1-15.dsc 07-Aug-2019 08:54 1013 ptex-jtex_1.7+1-15_all.deb 07-Aug-2019 08:51 308022 ptex-jtex_1.7+1.orig.tar.gz 07-Aug-2019 08:54 3825443