Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - hvfloat.sty 2024-12-15 10:30 58K hvfloat-1.inc 2024-10-03 10:23 21K hvfloat-3.inc 2024-12-15 09:45 13K hvfloat-4.inc 2024-10-03 10:23 10K hvfloat-0.inc 2024-10-03 10:23 6.5K hvfloat-2.inc 2024-10-03 10:23 6.4K hvfloat-fps.sty 2024-03-16 18:40 918