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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]pplatex_1.0~beta2023.12.01.repack-1.debian.tar.xz2024-05-03 02:33 2.6K
[   ]pplatex_1.0~beta2023.12.01.repack-1.dsc2024-05-03 02:33 1.9K
[   ]pplatex_1.0~beta2023.12.01.repack-1_arm64.deb2024-05-03 18:27 24K
[   ]pplatex_1.0~beta2023.12.01.repack-1_armhf.deb2024-05-09 14:10 24K
[   ]pplatex_1.0~beta2023.12.01.repack-1_ppc64el.deb2024-05-03 16:36 28K
[   ]pplatex_1.0~beta2023.12.01.repack-1_riscv64.deb2024-05-05 06:28 26K
[   ]pplatex_1.0~beta2023.12.01.repack-1_s390x.deb2024-05-03 16:36 26K
[   ]pplatex_1.0~beta2023.12.01.repack.orig.tar.xz2024-05-03 02:33 47K

Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 80