Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - LICENSE 2024-09-02 13:38 1.1K README.md 2024-12-10 11:17 1.8K figures/ 2024-12-10 15:29 - cora-macs-doc.tex 2024-12-11 00:38 22K cora-macs.sty 2024-12-11 00:38 13K cora-macs-doc.pdf 2024-12-11 00:38 351K examples/ 2024-12-11 00:39 -