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

[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 <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.

While I don't particularly feel attached to the binary name, upstream
provides loads of documentation that tell people to run "grape".
However, I will take it to thme to rename have it to "grapemcrl2"
or something.  I'll keep you all posted.

Paul

-- 
PhD Student @ Eindhoven                     | email: paulvt at debian.org
University of Technology, The Netherlands   | JID: paul at luon.net
>>> Using the Power of Debian GNU/Linux <<< | GnuPG key ID: 0x50064181