Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2017-07-05 01:30 1.5K currency.ins 2018-10-24 20:29 1.9K currency.dtx 2018-10-24 20:29 11K currency_doc.tex 2018-10-24 20:29 17K currency.pdf 2018-10-24 20:30 172K currency_doc.pdf 2018-10-24 20:29 517K