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
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
