Bug#517107: aptitude installed coq with unmet dependencies
On Thu, Feb 26, 2009 at 06:20:17PM +0100, Vincent Lefevre <vincent@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
Reply to: