Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - datenumber.ins 2001-08-08 00:00 1.9K datenumber-english.pdf 2022-01-27 12:56 192K datenumber-german.pdf 2022-01-27 13:02 196K datenumber.dtx 2022-01-27 13:06 19K datenumber-english.tex 2022-01-27 13:06 8.9K datenumber-german.tex 2022-01-27 13:06 9.6K README.txt 2022-01-27 13:11 1.5K