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.40-4
maint
Debian OCaml Maintainers (a), Samuel Mimram (u), Mehdi Dogguy (u), Ralf Treinen (u)
arch
amd64 arm64 armhf hurd-i386 i386 kfreebsd-i386 kfreebsd-amd64 powerpc ppc64 ppc64el sparc s390x all
std-ver
4.1.4
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 2.30+dfsg-5
oldstable
save 2.34-2
unstable
save 2.40-4
Ubuntu
2.40-3build1

binaries

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 4.1.4).
  • A new upstream version is available: 2.41, you should consider packaging it.
  • There is a temporary or permanent problem with the debian/watch file included in the package.

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.
  • The as-installed testing for this package did not pass (log).
  • This package has been requested to be removed. This means that, when this request gets processed by an ftp-master, this package will no longer be in unstable, and will automatically be removed from testing too afterwards. If for some reason you want keep this package in unstable, please discuss so in the bug. Please see bug number #929300 for more information.

testing migration

excuses:
  • Migration status: BLOCKED: Rejected/introduces a regression
  • 117 days old (needed 5 days)
  • Updating why introduces new bugs: #902618.
  • Piuparts tested OK - https://piuparts.debian.org/sid/source/w/why.html
  • Not touching package due to block request by freeze (please contact debian-release if update is needed)

news RSS

bugs

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