Processing commands for cont...@bugs.debian.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 > stop Stopping processing here.
Please contact me if you need assistance. -- 919220: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919220 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
