Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - statistics.pdf 2019-09-29 18:31 426K statistics.dtx 2019-09-29 18:23 123K LICENSE 2019-09-29 18:23 34K README.md 2019-09-29 18:23 923 statistics.ins 2019-09-29 18:23 478