Bug#573944: sim and mcrl2: error when trying to install together

2010-03-16 Thread Paul van Tilburg
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

Bug#573944: sim and mcrl2: error when trying to install together

2010-03-16 Thread Nikolay Shaplov
В Tue, 16 Mar 2010 20:02:00 +0100 Paul van Tilburg pau...@debian.org пишет: 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):

Bug#573944: sim and mcrl2: error when trying to install together

2010-03-15 Thread Ralf Treinen
Package: mcrl2,sim Version: mcrl2/201001-1 Version: sim/0.9.5~svn20080806-1 Severity: serious User: trei...@debian.org Usertags: edos-file-overwrite Date: 2010-03-15 Architecture: amd64 Distribution: sid Hi, automatic installation tests of packages that share a file and at the same time do not