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]

Reply via email to