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 <vinc...@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) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org