Processing commands for cont...@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 ow...@bugs.debian.org with problems