[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#786807: marked as done (ITP: z3 -- theorem prover from Microsoft Research)

Your message dated Thu, 18 Jun 2015 16:00:38 +0000
with message-id <E1Z5cF4-0000gk-2H@franck.debian.org>
and subject line Bug#786807: fixed in z3 4.4.0-1
has caused the Debian Bug report #786807,
regarding ITP: z3 -- theorem prover from Microsoft Research
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.)


-- 
786807: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=786807
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Michael Tautschnig <mt@debian.org>

* Package name    : z3
  Version         : 4.4.0
  Upstream Author : Z3 Theorem Prover Project
* URL             : https://github.com/Z3Prover/z3
* License         : MIT
  Programming Lang: C++
  Description     : theorem prover from Microsoft Research

Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used
to check the satisfiability of logical formulas over one or more theories. Z3
offers a compelling match for software analysis and verification tools, since
several common software constructs map directly into supported theories.

The Z3 input format is an extension of the one defined by the SMT-LIB 2.0
standard.


Best regards,
Michael

Attachment: pgpwFuYTOUGMs.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: z3
Source-Version: 4.4.0-1

We believe that the bug you reported is fixed in the latest version of
z3, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 786807@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (supplier of updated z3 package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 17 Jun 2015 21:40:44 +0100
Source: z3
Binary: z3 libz3-dev python-z3
Architecture: source i386
Version: 4.4.0-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 libz3-dev  - theorem prover from Microsoft Research - development files
 python-z3  - theorem prover from Microsoft Research - development files
 z3         - theorem prover from Microsoft Research
Closes: 786807
Changes:
 z3 (4.4.0-1) unstable; urgency=low
 .
   * Initial release (Closes: #786807)
   * Includes patches from unstable branch up to 6a50f10b8b
Checksums-Sha1:
 039047a7fd4aebcbe819da9606c273d718755b83 1784 z3_4.4.0-1.dsc
 e3b895869a723b9d13cc77f48a4ff7d2b721a8a5 3457136 z3_4.4.0.orig.tar.gz
 7121bb6c7073c499b508d49940b7cf77b0ae22dc 6204 z3_4.4.0-1.debian.tar.xz
 318857e52ab50fe3e6332021c3dcc494dcf1dc5d 5598198 libz3-dev_4.4.0-1_i386.deb
 62d6ffdd65b55c9706968222fdfb363f752e33b2 5601456 python-z3_4.4.0-1_i386.deb
 624fc94a0aefb06c718ce9e7eb0db20c3e5d491e 5551478 z3_4.4.0-1_i386.deb
Checksums-Sha256:
 060780fcdffca7ebdf310d7528ef06738e3728e282cfd76f63b334c295bf81e2 1784 z3_4.4.0-1.dsc
 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz
 dbe7ae98e92f2d1ef2a6d2b7d4bf193945843a407ef852c27429b966b4a75ef9 6204 z3_4.4.0-1.debian.tar.xz
 544ea183b14bfe9ac622af9d944ef4e79ae702cc56c047c3749efa8607d8267c 5598198 libz3-dev_4.4.0-1_i386.deb
 2a8ee5f80191e8c64545f7df9416c5421e3a8291959c548e8dcb2e19613954ec 5601456 python-z3_4.4.0-1_i386.deb
 a2261a937c9884fa1bbced7cd9d3b88051c5d8d93c9d966f9c289edb9bcd6014 5551478 z3_4.4.0-1_i386.deb
Files:
 78da8e7d278fe38a2c3467cb4064596c 1784 science extra z3_4.4.0-1.dsc
 025d369549fbe686412c51f92ec156c3 3457136 science extra z3_4.4.0.orig.tar.gz
 c00260b4a3a83d7e9812a5f9ce099bab 6204 science extra z3_4.4.0-1.debian.tar.xz
 f9cc6cd2737438455b4cd86ff4bb6ce2 5598198 libdevel extra libz3-dev_4.4.0-1_i386.deb
 56b0c27e3e872f684aa4493d56d4c759 5601456 python extra python-z3_4.4.0-1_i386.deb
 6097dc2958cf5a0db752d74d2cbf6040 5551478 science extra z3_4.4.0-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJVggD/AAoJEDu/g5M27KkxIqMP/iW0CGKVlqlEJZvIXAugLkXB
Htwy9G/LHcGNUHJxP67FRNn90bAZ6w0RU7F1q6/RK1RWxz2UnlMh72ks4kx6ISUG
oGAozqi1ik32DXOJmz3sjidHfQQtQxzhZaLCLuY/ky25qzW2+c9fAwZfRuKS8i3R
q5kRZsBG/cqEJwb1icoNG/N/Xf4PCDVtzNm13zx76tL9HB7vjPC9d+Ut79ebV3ux
oCycTrvQX/DyGX7dfk7blzkFO5X6L2wFclpp8y1LvSCH61DI97+TEUWED0zrxFyG
qpl4EriB1sTMgbppW/1OSuo7Fk9qn8JDYHTXG5iBQlj3gJKJiRUloMP/40u7I9Ti
Ek7xFNIAHi1+xyzaxsrToewIMFi+cPt08jq2VSEy+TNkubS5ltlVUG5scOfueUKZ
w0if4AkDmS5JltumjmjquW8FdxRv0gjNwNPPmXA+tMuEP30gXBVXRl/tgU3fP+fw
JRaLk+9zgKO5t4IKBEgFiWGtaTE9K51lW6qbkZwT0FBKVLvydWvrzgjy08t9ZRr+
6q8+IGJ7CjHkni1GsRnzVVHQyHVgRJC6DKXxvPtQNcjLIwxE9eBapJf7fGb11J3i
3+XFoG5VgWykiGB8/cn/PC0vBppHYQwH4Dcx7frDcg3bJ1JlIsBBgTuVv0Uoh6EE
32lYVUsYaGytpc2Rkt6s
=joNZ
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: