Processed: yices2: block ITP 864786 by RFS 864839
Processing commands for control@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 owner@bugs.debian.org with problems
Reply to: