Processed (with 1 errors): ITP: cvc3 -- The CVC3 automatic theorem prover

To: Christopher L Conway <cconway@cs.nyu.edu>
Cc: Christopher L Conway <cconway@cs.nyu.edu> (owner of 559245 for {559245}), <wnpp@debian.org> (wnpp for {559245})
Subject: Processed (with 1 errors): ITP: cvc3 -- The CVC3 automatic theorem prover
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 09 Dec 2009 19:57:04 +0000
Message-id: <[🔎] handler.s.C.126038848515673.transcript@bugs.debian.org>
In-reply-to: <4a051d930912091138u3c7dc703u86666638161cace0@mail.gmail.com>
References: <4a051d930912091138u3c7dc703u86666638161cace0@mail.gmail.com>

Processing commands for control@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 <cconway@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)

Reply to:

Prev by Date: Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
Next by Date: Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
Previous by thread: Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
Next by thread: Processed: closing 485182
Index(es):
- Date
- Thread