../ hvfloat-0.inc 11-May-2024 19:34 6088 hvfloat-1.inc 11-May-2024 19:34 21815 hvfloat-2.inc 11-May-2024 19:34 6216 hvfloat-3.inc 11-May-2024 19:34 12550 hvfloat-fps.sty 11-May-2024 19:34 918 hvfloat.sty 11-May-2024 19:34 59008