Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - LICENSE 2018-07-28 19:11 1.5K Makefile 2018-07-28 19:11 1.7K README.md 2018-07-28 19:13 1.0K nidanfloat-en.pdf 2018-07-28 19:11 70K nidanfloat.dtx 2018-07-28 19:11 51K nidanfloat.ins 2018-07-28 19:11 443 nidanfloat.pdf 2018-07-28 19:11 156K