Index of /ubuntu/pool/universe/p/pplatex/


../
pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz  03-May-2024 11:33    2712
pplatex_1.0~beta2023.12.01.repack-1.dsc            03-May-2024 11:33    1983
pplatex_1.0~beta2023.12.01.repack-1_amd64.deb      04-May-2024 02:40     26K
pplatex_1.0~beta2023.12.01.repack.orig.tar.xz      03-May-2024 11:33     47K