Bug#517107: aptitude installed coq with unmet dependencies
On 2009-02-25 19:34:02 -0800, Daniel Burrows wrote:
> The problem is that the new version of coq that you were trying to
> install has an undeclared conflict with coq-libs. I'll reassign the
> bug.
This is strange because in aptitude, coq-libs was really marked for
removal (because of the conflict with coq-theories, in fact), so that
aptitude could have known that coq-libs would be removed. But perhaps
aptitude isn't smart enough to see beyond undeclared conflicts.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
Reply to: