Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - uptex-base.zip 2024-10-12 11:42 330K fixjfm.zip 2018-03-24 18:16 280K ptex2pdf.zip 2020-05-20 08:17 14K ptex-base.zip 2021-05-31 15:47 13K uptex-base/ 2024-10-12 11:42 - ptex2pdf/ 2020-05-20 08:17 - ptex-base/ 2021-05-31 15:47 - fixjfm/ 2018-03-24 18:16 -