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


../
pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz  03-May-2024 02:33                2712
pplatex_1.0~beta2023.12.01.repack-1.dsc            03-May-2024 02:33                1983
pplatex_1.0~beta2023.12.01.repack-1_amd64.deb      03-May-2024 17:40               26970
pplatex_1.0~beta2023.12.01.repack.orig.tar.xz      03-May-2024 02:33               48620