Bug#517107: aptitude installed coq with unmet dependencies
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 <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: