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 пишет: > 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

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 > 0:0.9.5~svn

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 c