Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - dimnum.ins 2021-04-01 13:29 2.1K dimnum.dtx 2021-04-05 15:15 15K dimnum.pdf 2021-04-05 15:16 217K README.md 2021-04-05 15:26 707 changelog 2021-04-05 16:06 3.0K