Bug#799245: Buildd on unstable: ok

[Julien Puydt]

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