Index of /argostmp/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               48620