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