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.39-1
maint
Debian OCaml Maintainers (a), Samuel Mimram (u), Mehdi Dogguy (u), Ralf Treinen (u)
arch
amd64 arm64 armel armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 lpia powerpc sparc all
std-ver
4.0.1
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 2.26+dfsg-2+squeeze1
oldstable
save 2.34-2
unstable
save 2.39-1

binaries

todo

problems

testing migration

excuses:
  • Migration status: BLOCKED: Rejected/introduces a regression (please see below)
  • 13 days old (needed 5 days)
  • why/amd64 unsatisfiable Depends: frama-c-base (= 20170501+phosphorus+dfsg-1)
  • why/arm64 unsatisfiable Depends: frama-c-base (= 20170501+phosphorus+dfsg-1)
  • why/armel unsatisfiable Depends: frama-c-base (= 20170501+phosphorus+dfsg-1)
  • why/armhf unsatisfiable Depends: frama-c-base (= 20170501+phosphorus+dfsg-1)
  • why has new bugs!
  • Updating why introduces new bugs: #858366.
  • Piuparts tested OK - https://piuparts.debian.org/sid/source/w/why.html
  • Not considered

news RSS

bugs

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