On 02/06/15 08:53, Jonathan Wiltshire wrote: > Well that didn't appear to go so well on arm64 after all... could you look > at the build log and check the version of gcc was correct please? > > https://buildd.debian.org/status/fetch.php?pkg=nettle&arch=arm64&ver=3.1.1-3&stamp=1433198670 I've given it back with the gcc-4.9 b-d bumped and it has built fine. We can start with the binNMUs soon. Cheers, Emilio