Index of /debian/pool/main/p/pplatex
Name Last modified Size
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