Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - license.txt 2020-12-02 19:12 19K DEPENDS.txt 2020-12-04 09:16 366 easyfloats.ins 2020-12-20 14:27 3.0K easyfloats.dtx 2024-10-28 15:57 61K README.md 2024-10-29 10:57 2.0K easyfloats-file-list.txt 2024-10-29 18:34 1.4K doc/ 2024-10-29 18:43 -