../ hvfloat-0.inc 18-Nov-2025 18:41 5128 hvfloat-1.inc 18-Nov-2025 18:43 17K hvfloat-2.inc 19-Nov-2025 14:45 5282 hvfloat-3.inc 19-Nov-2025 13:47 10K hvfloat-4.inc 14-Nov-2025 10:28 5145 hvfloat-fps.sty 16-Mar-2024 18:40 918 hvfloat.sty 29-Dec-2025 09:57 59K