Bug#730526: why: uninstallable on sid

[Johan Gronqvist <johan.gronqvist@gmail.com>]

Package: why
Version: 2.30+dfsg-5+b1
Severity: grave
Justification: renders package unusable

Dear Maintainer,

   * What led up to the situation?
     The package frama-c was updated to a new upstream version in sid, but the versioned dependency in frama-c was not updated, which makes the package why uninstallable in sid on amd64 (and others).

   * What exactly did you do (or not do) that was effective (or
     ineffective)?
     Try to upgrade frama-c without removing why.

    
I expect that why needs a new version with an updated dependency.

Thanks 

Johan

-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (600, 'testing'), (500, 'unstable'), (400, 'stable'), (350, 'stable-updates'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.11-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages why depends on:
ii  frama-c-base                            20111001+nitrogen+dfsg-4
ii  libatk1.0-0                             2.10.0-2
ii  libc6                                   2.17-96
ii  libcairo2                               1.12.16-2
ii  libfontconfig1                          2.11.0-1
ii  libfreetype6                            2.4.9-1.1
ii  libgdk-pixbuf2.0-0                      2.28.2-1
ii  libglib2.0-0                            2.36.4-1
ii  libgmp10                                2:5.1.2+dfsg-3
ii  libgtk2.0-0                             2.24.22-1
ii  libmpfr4                                3.1.2-1
ii  libpango1.0-0                           1.36.0-1
ii  make                                    3.81-8.3
ii  ocaml-base-nox [ocaml-base-nox-3.12.1]  3.12.1-4

Versions of packages why recommends:
ii  alt-ergo  0.95.1-3

Versions of packages why suggests:
ii  libwhy-coq  2.30+dfsg-5

-- no debconf information