Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 1991-02-02 00:00 2.8K man10.sty 1991-02-02 00:00 5.6K man11.sty 1991-02-02 00:00 5.6K man12.sty 1991-02-02 00:00 5.7K manual.readme 1991-02-02 00:00 2.8K manual.sty 1991-02-02 00:00 9.7K