Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - basic-miktex-24.1-x64.exe 2024-01-27 18:25 138M basic-miktex-23.10-x64.exe 2023-10-05 10:18 135M setup-5.6.1+3f4a6a7-x64.exe 2023-10-05 10:00 25M setup-5.6.0+1763023-x64.exe 2023-04-16 18:14 25M miktexsetup-5.5.0+1763023-x64.zip 2023-04-16 18:14 2.6M