Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu nmu why_2.39-1 . ANY . unstable . -m "Rebuild against frama-c-base (= 20170501+phosphorus+dfsg-2)." why has a very strict dependency on frama-c-base :-( Andreas