Index of /debian/pool/main/p/pplatex/

../
pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz  22-Mar-2024 09:29    2712
pplatex_1.0~beta2023.12.01.repack-1.dsc            22-Mar-2024 09:29    1983
pplatex_1.0~beta2023.12.01.repack.orig.tar.xz      22-Mar-2024 09:29     47K