Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - newfloat.pdf 2023-10-01 22:27 134K newfloat.ins 2023-10-01 22:27 1.3K newfloat.dtx 2023-10-01 22:27 76K fallback/ 2023-10-01 22:27 - SUMMARY 2023-10-01 22:27 180 README 2023-10-01 22:27 1.0K CHANGELOG 2023-10-01 22:27 674