Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - LICENCE.txt 2023-12-31 15:57 19K README.md 2023-12-31 15:57 1.7K sample.pdf 2023-12-31 15:57 59K sample.tex 2023-12-31 15:57 12K versonotes.dtx 2023-12-31 15:57 26K versonotes.ins 2023-12-31 15:57 248 versonotes.pdf 2023-12-31 15:57 53K