Processing commands for cont...@bugs.debian.org: > retitle 559245 ITP: cvc3 -- automatic theorem prover for Satisfiability Bug #559245 [wnpp] ITP: cvc3 -- automatic theorem prover for Changed Bug title to 'ITP: cvc3 -- automatic theorem prover for Satisfiability' from 'ITP: cvc3 -- automatic theorem prover for' > Modulo Theories (SMT) problems. Unknown command or malformed arguments to command.
> End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
