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.38-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
3.9.8
VCS
Git (browse)

binaries

todo

problems

  • The package has not yet entered testing even though the 10-day delay is over. Check why.
  • 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:

news RSS

bugs

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