Package: release.debian.org Followup-For: Bug #1081740 X-Debbugs-Cc: francesco.ballarin@unicatt.it, sramacher@debian.org Hi Sebastian, thanks for the reminder. Upstream has committed a fix for #1084087, that I included in 4.13.1+ds1-3. buildd was ok on 32 bit arches, so transition should be possible now. Thanks, Francesco