Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2012-10-13 19:29 8.3K README-de 2012-10-13 19:29 952 README-en 2012-10-13 19:29 3.8K README-eo 2012-10-13 19:29 3.7K dateiliste.dtx 2012-10-13 19:29 71K dateiliste.ins 2012-10-13 19:29 2.3K dateiliste.pdf 2012-10-13 19:29 257K