On Thu, Feb 26, 2009 at 06:20:17PM +0100, Vincent Lefevre <vinc...@vinc17.org> was heard to say: > On 2009-02-26 07:25:43 -0800, Daniel Burrows wrote: > > But of course the dependencies of the new coq are already installed, > > and apparently these don't supply what's needed for the old coq to run. > > I still don't understand why apt-get -f install doesn't see the new > version of coq (which lead to the bug):
Hm, I don't know. Daniel -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org