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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz2024-05-03 04:33 2.6K
[TXT]pplatex_1.0~beta2023.12.01.repack-1.dsc2024-05-03 04:33 1.9K
[   ]pplatex_1.0~beta2023.12.01.repack-1_amd64.deb2024-05-03 19:40 26K
[   ]pplatex_1.0~beta2023.12.01.repack.orig.tar.xz2024-05-03 04:33 47K

Apache/2.4.62 (Debian) Server at ubuntu.mirror.root.lu Port 443