Package: release.debian.org Severity: normal User: release.debian....@packages.debian.org Usertags: binnmu
nmu why_2.36-5 . ANY . unstable . -m "Rebuild against frama-c-base (= 20161101+silicon+dfsg-5)" why seems to have a very strict dependency on frama-c-base :-( libwhy-coq/amd64 unsatisfiable Depends: coq-8.5+4.02.3 why/amd64 unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2) libwhy-coq/i386 unsatisfiable Depends: coq-8.5+4.02.3 why/i386 unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2) why/arm64 unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2) ... Andreas