Index of /debian/pool/main/p/pplatex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pplatex_1.0~beta2023.12.01.repack-1+b1_amd64.deb2024-04-20 12:33 25K 
[   ]pplatex_1.0~beta2023.12.01.repack-1+b1_arm64.deb2024-11-02 06:53 23K 
[   ]pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz2024-03-22 10:29 2.6K 
[TXT]pplatex_1.0~beta2023.12.01.repack-1.dsc2024-03-22 10:29 1.9K 
[   ]pplatex_1.0~beta2023.12.01.repack-1_armhf.deb2024-04-20 12:22 22K 
[   ]pplatex_1.0~beta2023.12.01.repack-1_i386.deb2024-04-20 12:22 27K 
[   ]pplatex_1.0~beta2023.12.01.repack.orig.tar.xz2024-03-22 10:29 47K 

Apache/2.4.62 (Debian) Server at carid.ruc.dk Port 80