Index of /pool/non-free/p/ptex-jtex/

../
ptex-jtex_1.7+1-15.diff.gz                         13-Jul-2022 09:57                8488
ptex-jtex_1.7+1-15.dsc                             13-Jul-2022 09:57                 780
ptex-jtex_1.7+1-15_all.deb                         08-Jul-2022 08:56              305576
ptex-jtex_1.7+1.orig.tar.gz                        13-Jul-2022 09:57             3825443