Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - logo.png 2019-06-20 15:56 6.6K required-packages.csv 2019-06-20 15:56 6.1K additional-layout.tex 2019-06-20 15:56 2.1K version.csv 2019-06-20 15:56 130