Processing commands for cont...@bugs.debian.org: > block 864786 by 864839 Bug #864786 [wnpp] ITP: yices2 -- satisfiability modulo theory solver by SRI 864786 was not blocked by any bugs. 864786 was not blocking any bugs. Added blocking bug(s) of 864786: 864839 > stop Stopping processing here.
Please contact me if you need assistance. -- 864786: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864786 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems