Index of /raspbian/pool/main/p/pplatex

Icon  Name                                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                                       -   
[   ] pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz 2024-03-22 10:29  2.6K  
[TXT] pplatex_1.0~beta2023.12.01.repack-1.dsc           2024-03-22 10:29  1.9K  
[   ] pplatex_1.0~beta2023.12.01.repack-1_armhf.deb     2024-05-20 06:08   21K  
[   ] pplatex_1.0~beta2023.12.01.repack.orig.tar.xz     2024-03-22 10:29   47K
Apache/2.4.65 (Debian) Server at raspbian.bio.lmu.de Port 443