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