Processing commands for [email protected]: > retitle 864786 RFP: yices2 -- satisfiability modulo theory solver by SRI Bug #864786 [wnpp] ITP: yices2 -- satisfiability modulo theory solver by SRI Changed Bug title to 'RFP: yices2 -- satisfiability modulo theory solver by SRI' from 'ITP: yices2 -- satisfiability modulo theory solver by SRI'. > noowner 864786 Bug #864786 [wnpp] RFP: yices2 -- satisfiability modulo theory solver by SRI Removed annotation that Bug was owned by Ian A Mason <[email protected]>. > stop Stopping processing here.
Please contact me if you need assistance. -- 864786: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864786 Debian Bug Tracking System Contact [email protected] with problems
