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

[Torsten Werner]

On Mon, Mar 15, 2010 at 9:29 AM, Ralf Treinen <treinen at 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 provided /usr/bin/grape earlier and has already
transitioned to testing. That is why I suggest reassigning the bug to
mcrl2.

Cheers,
Torsten