Accepted z3 4.4.0-2 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 07 Jul 2015 08:08:48 +0100
Source: z3
Binary: z3 libz3-dev python-z3
Architecture: source i386
Version: 4.4.0-2
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 - python bindings
z3 - theorem prover from Microsoft Research
Closes: 789881 791604
Changes:
z3 (4.4.0-2) unstable; urgency=low
.
* Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604)
* Use emmintrin.h conditionally only (Closes: #789881)
Checksums-Sha1:
9f17d9cc1df68f7044e6190d68746ff3b758b421 1784 z3_4.4.0-2.dsc
8db987f2e05705c4e865e55f1ef623099b51a35a 6620 z3_4.4.0-2.debian.tar.xz
Checksums-Sha256:
ea96a0e8202b6dc65daaf615bc67a8428c0c3bdc874ecd505014bdbd194192e7 1784 z3_4.4.0-2.dsc
2bb1994115866f7569d97be710b8956fb7f406b9f1ff5168067c814d068ea79e 6620 z3_4.4.0-2.debian.tar.xz
Files:
88985c7c56ce8c4b4a92fae2e29245c1 1784 science extra z3_4.4.0-2.dsc
1adee34cd3c6b1eb20441a642c8262aa 6620 science extra z3_4.4.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJVm4/AAAoJEDu/g5M27Kkx/uEP/36SKal93ckjTtGzqn6DADBn
UYUGGYZTr4lPkbBt6iftcmkE9dyFunNzrzQV1U/ngQovIFJET4i14cAXrBHzmgYX
UHttLu+yvaMjW0fLtCIeZU9B0t+sp13hk0BI40AOBg44SyWkz+8n2JpTiut4wuHj
iV/dHc4prg7p6V1cx+noFYHZDsr3eqwbsaKhUd6DfIUOedk16vtlEH9EHrHlmYaU
pel+SGpoVljRIqIm+x4tVoyg9E908cpbA3V1Ry3EzgpbHI+N+aAP9rzYga5f4Jer
7pzKJamvKsVg5ob3OFD3e3hIAbxSENV1JI3MQhUIkqPf5QnTfQlyJzHGpBTEju/r
QSgfeKwf6rrFNVbFaH5QmUi9J9FOpA0Ytxcv10NDUizUvMRj3sRxuDrIwBgLOZu5
llCB8OG39I4eQ1YAHx3UY63w64ogYidKSvFw5NNPsjrT6YPD8kG3zO2vk3VkM5N4
WS8zC47ciVPtlYBlkSwotKK0EmVACJ5ZvlmD8lHLw4rMRg/U61ps9aE5bQs4KK3T
W4/tyzLX2OYuBy2dpxEFaUrAgNZMZQx3Cf5+huI2vfsox+7f/9/vEGIyGHyAFGAk
HGIv23ft+jOL3nFBcEKkJetwTpLqetyZiYFDI/FkBIh2t6nykGFo3gwr2MSd8aWB
HdGmG/BcaALv4iRRTPkg
=Ocuq
-----END PGP SIGNATURE-----
Reply to: