Processing commands for cont...@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) -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
