Processed: rumur: block ITP 919220 by RFS 919743
Processing commands for firstname.lastname@example.org:
> block 919220 by 919743
Bug #919220 [wnpp] ITP: rumur -- model checker for the Murphi language
919220 was not blocked by any bugs.
919220 was not blocking any bugs.
Added blocking bug(s) of 919220: 919743
Stopping processing here.
Please contact me if you need assistance.
Debian Bug Tracking System
Contact email@example.com with problems