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