Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2024-02-08 18:19 1.5K derivative.sty 2024-02-08 19:02 57K derivative.tex 2024-02-08 18:12 121K derivative.pdf 2024-02-08 19:03 200K