Hi, gnushogi failed to build on arm in August due to a compiler bug. Please requeue it in case this was fixed in the meantime. (Tried arm@buildd.d.o, but got no reply.) Thanks, Matej