Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu X-Debbugs-Cc: deal.ii@packages.debian.org Control: affects -1 + src:deal.ii nmu deal.ii_9.5.1-1+b2 . ANY . unstable . -m "rebuild against libgmsh4.12"