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