Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - gotoh.pdf 2017-07-07 14:12 284K gotoh.ins 2017-07-07 14:12 479 gotoh.dtx 2017-07-07 14:12 32K README.md 2017-07-07 14:12 718 LICENSE 2017-07-07 14:12 1.1K