Le 2013-11-26 08:01, Johan Gronqvist a écrit :
* 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.
Yes, this is expected as we are in the middle of a tiny transition. The
situation
should be fixed soon. It needs apron to be fixed first though.
For now, the immediate solution is to use testing's packages.
Regards,
--
Mehdi
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
