Index of /pool/universe/p/pplatex

 NameLast modifiedSize

 Parent Directory   -
 pplatex_1.0~beta2023.12.01.repack.orig.tar.xz 2024-05-03 05:33 47K
 pplatex_1.0~beta2023.12.01.repack-1_amd64.deb 2024-05-03 20:40 26K
 pplatex_1.0~beta2023.12.01.repack-1.dsc 2024-05-03 05:33 1.9K
 pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz 2024-05-03 05:33 2.6K