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

Icon  Name                                              Last modified      Size  
[PARENTDIR] Parent Directory - [   ] pplatex_1.0~beta2023.12.01.repack-1+b1_amd64.deb 2024-04-20 12:33 25K [   ] pplatex_1.0~beta2023.12.01.repack-1+b1_arm64.deb 2024-11-02 06:53 23K [   ] pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz 2024-03-22 10:29 2.6K [   ] pplatex_1.0~beta2023.12.01.repack-1.dsc 2024-03-22 10:29 1.9K [   ] pplatex_1.0~beta2023.12.01.repack-1_armel.deb 2024-04-20 12:33 22K [   ] pplatex_1.0~beta2023.12.01.repack-1_armhf.deb 2024-04-20 12:22 22K [   ] pplatex_1.0~beta2023.12.01.repack-1_i386.deb 2024-04-20 12:22 27K [   ] pplatex_1.0~beta2023.12.01.repack-1_mips64el.deb 2024-04-20 14:20 23K [   ] pplatex_1.0~beta2023.12.01.repack-1_ppc64el.deb 2024-04-20 12:22 25K [   ] pplatex_1.0~beta2023.12.01.repack-1_riscv64.deb 2024-04-20 15:30 24K [   ] pplatex_1.0~beta2023.12.01.repack-1_s390x.deb 2024-04-20 12:22 23K [   ] pplatex_1.0~beta2023.12.01.repack.orig.tar.xz 2024-03-22 10:29 47K
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80