Hello, On Mon, Mar 15, 2010 at 09:31:12AM +0100, Ralf Treinen wrote: > Unpacking mcrl2 (from .../mcrl2_201001-1_amd64.deb) ... > dpkg: error processing /var/cache/apt/archives/mcrl2_201001-1_amd64.deb > (--unpack): > trying to overwrite '/usr/bin/sim', which is also in package sim > 0:0.9.5~svn20080806-1
I'm discussing with upstream to have sim renamed to lpssim and hope to upload with a fix soon. Since the tools are integrated in some overall user interface I cannot just rename binaries without that falling apart. Kind regards, Paul -- PhD Student @ Eindhoven | email: pau...@debian.org University of Technology, The Netherlands | JID: p...@luon.net >>> Using the Power of Debian GNU/Linux <<< | GnuPG key ID: 0x50064181 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
