Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
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