On Wed, Feb 25, 2009 at 05:50:44PM +0100, Vincent Lefevre <vinc...@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 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
