Processed: Re: Bug#573943: mcrl2 and groovy: error when trying to install together
Debian Bug Tracking System
owner at bugs.debian.org
Tue Mar 16 20:42:16 UTC 2010
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)
More information about the pkg-java-maintainers
mailing list