Package: release.debian.org Severity: normal Hi,
while I have a clue why this version is not reproducible, the fix might take quite some time to find. Is it possible to just let this one go, and block the next update ? See https://bugs.debian.org/1144052 for current progress. Jérémy

