Bug#517107: aptitude installed coq with unmet dependencies
On Wed, Feb 25, 2009 at 05:50:44PM +0100, Vincent Lefevre <vincent@vinc17.org> was heard to say:
> Unpacking replacement coq ...
> dpkg: error processing /var/cache/apt/archives/coq_8.2~rc2+dfsg-3_amd64.deb (--unpack):
> trying to overwrite `/usr/lib/coq/contrib/interface/vernacrc', which is also in package coq-libs
> dpkg-deb: subprocess paste killed by signal (Broken pipe)
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.
Daniel
Reply to: