Hi, wabt is failing here with something about float representation issue: https://buildd.debian.org/status/fetch.php?pkg=wabt&arch=mips64el&ver=1.0.34%2Bdsfg2%2B%7Ecs1.0.32-4&stamp=1739635385&raw=0
However it passes on loong64 and most other platforms, so maybe there is something fishy with mips64el here ? Jérémy
