Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ptex-base_2.5.orig.tar.gz 2022-04-11 05:40 387K ptex-base_2.5-3_all.deb 2022-04-11 05:35 153K ptex-base_2.5-3.dsc 2022-04-11 05:40 1.7K ptex-base_2.5-3.debian.tar.xz 2022-04-11 05:40 5.9K jbibtex-base_2.5-3_all.deb 2022-04-11 05:24 88K