Hi, I made more experiments with the code: - in fact, -O1 already leads to a stuck exec - but adding -ansi makes things go smooth (even with -O2)
With this, I was able to ship flint 2.5.2-3, working on the same arches as previously. I hope that helps, Snark on #debian-science