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

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 573943 mcrl2
Bug #573943 [groovy,mcrl2] mcrl2 and groovy: error when trying to install together
Bug reassigned from package 'groovy,mcrl2' to 'mcrl2'.
> found 573943 201001-1
Bug #573943 [mcrl2] mcrl2 and groovy: error when trying to install together
Bug Marked as found in versions mcrl2/201001-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)