On 04/09/14 14:49, Alberto Garcia wrote: > Hello, > > it looks like the arm64 build of webkitgtk failed because of > insufficient disk space. weasel on #debian-buildd told me that the > machines should have enough space now, so I'd like to have it rebuilt > again. > > gb webkitgtk_2.4.5-1 . arm64 Given back. Emilio