Processed: retitle to RFP: yices2 -- satisfiability modulo theory solver by SRI
Processing commands for control@bugs.debian.org:
> 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 <iam@csl.sri.com>.
> 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 owner@bugs.debian.org with problems
Reply to: