Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-16 Thread Torsten Werner
reassign 573943 mcrl2 found 573943 201001-1 thanks Hi Paul, On Tue, Mar 16, 2010 at 7:59 PM, Paul van Tilburg wrote: > However, I will take it to thme to rename have it to "grapemcrl2" > or something.  I'll keep you all posted. thank you for you cooperation! Cheers, Torsten -- To UNSUBSCRIB

Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-16 Thread Paul van Tilburg
Hello, On Mon, Mar 15, 2010 at 11:44:20PM +0100, Torsten Werner wrote: > On Mon, Mar 15, 2010 at 9:29 AM, Ralf Treinen wrote: > > This bug is assigned to both packages. If you, the maintainers of > > the two packages in question, have agreed on which of the packages will > > resolve the problem p

Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-15 Thread Torsten Werner
On Mon, Mar 15, 2010 at 9:29 AM, Ralf Treinen wrote: > This bug is assigned to both packages. If you, the maintainers of > the two packages in question, have agreed on which of the packages will > resolve the problem please reassign the bug to that package. The groovy package has provided /usr/bi

Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-15 Thread Ralf Treinen
Package: groovy,mcrl2 Version: groovy/1.7.0-3 Version: mcrl2/201001-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 conflic