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

Filename	Modification time	Size
pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz	2024-05-03 04:33 CEST	2712 B
pplatex_1.0~beta2023.12.01.repack-1.dsc	2024-05-03 04:33 CEST	1983 B
pplatex_1.0~beta2023.12.01.repack-1_amd64.deb	2024-05-03 19:40 CEST	26 KiB
pplatex_1.0~beta2023.12.01.repack.orig.tar.xz	2024-05-03 04:33 CEST	47 KiB