../ hvfloat-0.inc 18-Nov-2025 23:11 5128 hvfloat-1.inc 18-Nov-2025 23:13 17K hvfloat-2.inc 19-Nov-2025 19:15 5282 hvfloat-3.inc 19-Nov-2025 18:17 10K hvfloat-4.inc 14-Nov-2025 14:58 5145 hvfloat-fps.sty 16-Mar-2024 23:10 918 hvfloat.sty 29-Dec-2025 14:27 59K