Hi, I notice that the buildd on powerpc failed, but it's an old error: https://buildd.debian.org/status/fetch.php?pkg=singular&arch=powerpc&ver=4.0.1p2%2Bds-1&stamp=1438021079 so that's unrelated to this transition. Snark on #debian-science