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