Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: transition Tags: pending Filing this to track the missing rebuilds. Once they're done we'll be able to remove the gmp4 source package. Cheers, Julien