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