Commit 36bacee088dfe53f161083b90c4e75da66b1ce3d

Thomas de Grivel 2025-11-03T15:13:13

configure: have f80 and f128