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-en.pdf 2018-07-28 20:11 70K nidanfloat.dtx 2018-07-28 20:11 51K Makefile 2018-07-28 20:11 1.7K LICENSE 2018-07-28 20:11 1.5K README.md 2018-07-28 20:13 1.0K nidanfloat.ins 2018-07-28 20:11 443