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 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: pau...@debian.org University of Technology, The Netherlands | JID: p...@luon.net >>> Using the Power of Debian GNU/Linux <<< | GnuPG key ID: 0x50064181 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
