Processed: Fix the title of the yices2 ITP
Processing commands for control@bugs.debian.org:
> retitle 864786 ITP: yices2 -- satisfiability modulo theory solver by SRI
Bug #864786 [wnpp] [ITP] yices2 -- satisfiability modulo theory solver by SRI
Changed Bug title to 'ITP: yices2 -- satisfiability modulo theory solver by SRI' from '[ITP] yices2 -- satisfiability modulo theory solver by SRI'.
> thanks
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: