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.dtx 2017-07-07 14:12 32K LICENSE 2017-07-07 14:12 1.1K README.md 2017-07-07 14:12 718 gotoh.ins 2017-07-07 14:12 479