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 provided /usr/bin/grape earlier and has already transitioned to testing. That is why I suggest reassigning the bug to mcrl2. Cheers, Torsten -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
