Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - svrsymbols.map 2016-08-05 19:48 38 README 2019-02-12 22:28 478 SVRsymbols.tfm 2016-08-05 19:48 1.6K svrsymbols.ins 2019-02-12 22:25 1.6K svrsymbols.tex 2016-08-05 19:48 5.1K SVRsymbols.afm 2016-08-05 19:48 5.8K svrsymbols.dtx 2019-02-12 22:23 12K SVRsymbols.otf 2019-02-12 19:52 26K SVRsymbols.pfb 2016-08-05 19:48 45K svrsymbols.pdf 2019-02-12 22:24 57K