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

Icon  Name                                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                                     -   
[   ] pplatex_1.0~beta2023.12.01.repack-1_arm64.deb   2024-05-03 20:27   24K  
[   ] pplatex_1.0~beta2023.12.01.repack-1_armhf.deb   2024-05-09 16:10   24K  
[   ] pplatex_1.0~beta2023.12.01.repack-1_ppc64el.deb 2024-05-03 18:36   28K  
[   ] pplatex_1.0~beta2023.12.01.repack-1_riscv64.deb 2024-05-05 08:28   26K  
[   ] pplatex_1.0~beta2023.12.01.repack-1_s390x.deb   2024-05-03 18:36   26K
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80