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