[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: