Processing commands for cont...@bugs.debian.org: > retitle 559245 ITP: cvc3 -- automatic theorem prover for Bug #559245 [wnpp] RFP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. Changed Bug title to 'ITP: cvc3 -- automatic theorem prover for' from 'RFP: cvc3 -- automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.' > Satisfiability Modulo Theories (SMT) problems. Unknown command or malformed arguments to command.
> owner 559245 ! Bug #559245 [wnpp] ITP: cvc3 -- automatic theorem prover for Owner recorded as Christopher L Conway <ccon...@cs.nyu.edu>. > 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
