Hi, the new flint is now built on the 10 main arches without an hiccup: https://buildd.debian.org/status/package.php?p=flint So the next step should be a binNMU on singular. Thanks, Snark on #debian-science