On 19 August 2017 at 11:13, Paul Gevers <elbrus at debian.org> wrote: > I was wondering if we should prevent this by > defining the archs we build on until bug 859566¹ is fixed. Are we sure that will avoid the problem?