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 trei...@free.fr 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
reassign 573943 mcrl2
found 573943 201001-1
thanks
Hi Paul,
On Tue, Mar 16, 2010 at 7:59 PM, Paul van Tilburg pau...@debian.org 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
--
Processing commands for cont...@bugs.debian.org:
reassign 573943 mcrl2
Bug #573943 [groovy,mcrl2] mcrl2 and groovy: error when trying to install
together
Bug reassigned from package 'groovy,mcrl2' to 'mcrl2'.
found 573943 201001-1
Bug #573943 [mcrl2] mcrl2 and groovy: error when trying to
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
On Mon, Mar 15, 2010 at 9:29 AM, Ralf Treinen trei...@free.fr 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
5 matches
Mail list logo