On 25/07/16 22:51, Matthias Maier wrote: > Package: release.debian.org > Severity: normal > User: release.debian.org@packages.debian.org > Usertags: binnmu > > nmu deal.ii_8.4.1-1 . amd64 . unstable . -m "Rebuild against trilinos 12.6.3-2 due to ABI change" What's the bug number? A binNMU to workaround an ABI break is usually the wrong approach, unless there has been a SONAME bump. Cheers, Emilio