Processing commands for cont...@bugs.debian.org: > block 814306 by 819615 Bug #814306 [wnpp] ITP: spin -- a software verification tool 814306 was not blocked by any bugs. 814306 was not blocking any bugs. Added blocking bug(s) of 814306: 819615 > stop Stopping processing here.
Please contact me if you need assistance. -- 814306: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=814306 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
