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 Changed Bug title to 'ITP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.' from 'ITP: cvc3 -- automatic theorem prover for Satisfiability' > 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
