Processing commands for cont...@bugs.debian.org: > retitle 559245 ITP: cvc3 -- automatic theorem prover for Bug #559245 [wnpp] ITP: cvc3 -- automatic theorem prover for Ignoring request to change the title of bug#559245 to the same title > Satisfiability 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
