-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1zcprn-00078u...@franck.debian.org