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): # apt-get -f install coq coqide Reading package lists... Done Building dependency tree Reading state information... Done coq is already the newest version. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ coqide is already the newest version. [...] while apt-cache says there's a new one. -- 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-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
