Bug#857600: nmu: why_2.36-5
Package: release.debian.org
Severity: normal
User: release.debian.org@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
Reply to: