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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pplatex_1.0~beta2023.12.01.repack.orig.tar.xz2024-05-03 04:33 47K 
[   ]pplatex_1.0~beta2023.12.01.repack-1_amd64.deb2024-05-03 19:40 26K 
[   ]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 

Apache/2.4.59 (Debian) Server at debian.ruhr-uni-bochum.de Port 443