Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu nmu gecode_6.0.1-1 . ANY . unstable . -m "Rebuild with libmpfr6"