why
Software verification tool for C and Java

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/why

general

source
why (source, math)
version
2.36-5
maint
Debian OCaml Maintainers (a), Samuel Mimram (u), Mehdi Dogguy (u), Ralf Treinen (u)
arch
any all
std-ver
3.9.8
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 2.26+dfsg-2+squeeze1
oldstable
save 2.30+dfsg-5
stable
save 2.34-2
unstable
save 2.36-5

binaries

todo

problems

  • The package has not yet entered testing even though the 10-day delay is over. Check why.
  • The as-installed testing for this package did not pass (log).
  • The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:

testing migration

excuses:
  • Migration status: BLOCKED: Needs an approval (either due to a freeze or due to the source suite)
  • 58 days old (needed 10 days)
  • Not touching package due to block request by freeze (check https://release.debian.org/testing/freeze_policy.html if update is needed)
  • 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)
  • why/armel unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • why/armhf unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • why/mips unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • why/mips64el unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • why/mipsel unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • why/ppc64el unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • why/s390x unsatisfiable Depends: frama-c-base (= 20161101+silicon+dfsg-2)
  • Piuparts tested OK - https://piuparts.debian.org/sid/source/w/why.html
  • Not considered

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0

patches ...

oldstable
2.30+dfsg-5
stable
2.34-2
unstable
2.36-5