Bug#781563: marked as done (ITP: z3 -- Z3 is a theorem prover)
Your message dated Wed, 8 Jul 2015 14:57:47 +0300
with message-id <CANjV3xkxiHBhn_2XFShGg4_BoD-w_2Sj4Ppt6-dFpr95jsS23A@mail.gmail.com>
and subject line Re: ITP: z3 -- Z3 is a theorem prover
has caused the Debian Bug report #781563,
regarding ITP: z3 -- Z3 is a theorem prover
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
781563: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=781563
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: ITP: z3 -- Z3 is a theorem prover
- From: Madars Virza <madars@mit.edu>
- Date: Mon, 30 Mar 2015 21:40:15 -0400
- Message-id: <5519FAFF.60002@mit.edu>
Package: wnpp
Severity: wishlist
Owner: Madars Virza <madars@mit.edu>
* Package name : z3
Version : 4.3.2
Upstream Author : Microsoft Research
* URL : https://github.com/Z3Prover/z3
* License : MIT
Programming Lang: C++
Description : Z3 is a theorem prover
Z3 is a high-performance theorem prover from Microsoft Research.
--- End Message ---
--- Begin Message ---
- To: 781563-done@bugs.debian.org
- Subject: Re: ITP: z3 -- Z3 is a theorem prover
- From: Esa Peuha <esa.peuha@gmail.com>
- Date: Wed, 8 Jul 2015 14:57:47 +0300
- Message-id: <CANjV3xkxiHBhn_2XFShGg4_BoD-w_2Sj4Ppt6-dFpr95jsS23A@mail.gmail.com>
z3 now exists as a Debian package, so closing this bug.
--- End Message ---
Reply to: