On 29 May 2012 18:39, Alexander <alexander at tuxdroid.org> wrote: > arch.mirrors.tuxdroid.org is syncing from mirror.de.leaseweb.net from now > on. Noted. Gwdg.de has solved their problems though. Best regards, Jakob