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