Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - nidanfloat.pdf 2018-07-28 20:11 156K nidanfloat.ins 2018-07-28 20:11 443 nidanfloat.dtx 2018-07-28 20:11 51K nidanfloat-en.pdf 2018-07-28 20:11 70K README.md 2018-07-28 20:13 1.0K Makefile 2018-07-28 20:11 1.7K LICENSE 2018-07-28 20:11 1.5K