On Fri, Sep 19, 2014 at 2:10 PM, Martin Pitt wrote: > This looks like a problem with the buildd. Is that a transient > problem? Would you mind retrying the build? The buildd maintainers are reachable at <arch>@buildd.debian.org, as mentioned here: https://buildd.debian.org/ -- bye, pabs https://wiki.debian.org/PaulWise