Processed (with 1 errors): Re: 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): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 09 Dec 2009 20:03:06 +0000
Message-id: <[🔎] handler.s.C.126038881618658.transcript@bugs.debian.org>
In-reply-to: <4a051d930912091200uedcda14w54bb3c9a5cc53f74@mail.gmail.com>
References: <4a051d930912091200uedcda14w54bb3c9a5cc53f74@mail.gmail.com>

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

Reply to:

Prev by Date: Bug#560213: ITP: gtkhash -- GTK+ utility for computing checksums and more
Next by Date: Processed (with 1 errors): ITP: cvc3 -- The CVC3 automatic theorem prover
Previous by thread: Bug#560213: marked as done (ITP: gtkhash -- GTK+ utility for computing checksums and more)
Next by thread: Processed (with 1 errors): Re: ITP: cvc3 -- The CVC3 automatic theorem prover
Index(es):
- Date
- Thread