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 <[email protected]> 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: [email protected] University of Technology, The Netherlands | JID: [email protected] >>> Using the Power of Debian GNU/Linux <<< | GnuPG key ID: 0x50064181 _______________________________________________ pkg-java-maintainers mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers
