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

../
ptex-jtex_1.7+1-15.diff.gz                         31-Oct-2025 12:05                8488
ptex-jtex_1.7+1-15.dsc                             31-Oct-2025 12:05                1013
ptex-jtex_1.7+1-15_all.deb                         31-Oct-2025 12:05              308022
ptex-jtex_1.7+1.orig.tar.gz                        31-Oct-2025 12:05             3825443