Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2024-11-13 16:47 2.3K stocksize.sty 2024-11-23 22:27 2.4K stocksize-doc.tex 2024-11-23 22:31 4.3K stocksize-doc.pdf 2024-11-23 22:32 110K