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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]