[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: rumur: block ITP 919220 by RFS 919743

Processing commands for control@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 owner@bugs.debian.org with problems

Reply to: