-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: z3 Binary: z3, libz3-dev, python-z3 Architecture: any Version: 4.4.0-2 Maintainer: Michael Tautschnig <[email protected]> Homepage: https://github.com/Z3Prover/z3 Standards-Version: 3.9.6 Build-Depends: debhelper (>= 9), python Package-List: libz3-dev deb libdevel extra arch=any python-z3 deb python extra arch=any z3 deb science extra arch=any Checksums-Sha1: e3b895869a723b9d13cc77f48a4ff7d2b721a8a5 3457136 z3_4.4.0.orig.tar.gz 8db987f2e05705c4e865e55f1ef623099b51a35a 6620 z3_4.4.0-2.debian.tar.xz Checksums-Sha256: 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz 2bb1994115866f7569d97be710b8956fb7f406b9f1ff5168067c814d068ea79e 6620 z3_4.4.0-2.debian.tar.xz Files: 025d369549fbe686412c51f92ec156c3 3457136 z3_4.4.0.orig.tar.gz 1adee34cd3c6b1eb20441a642c8262aa 6620 z3_4.4.0-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJVm4++AAoJEDu/g5M27KkxATYP/RZbNKz3xDafbFXQr/xOYTyv TFEuekwrMcLT7iIESYVboESvE1t/47c0IspfVuHa9qCmVdAZTcffoVCwOCqyo5TJ pUU6lFDXV8rEfU8SwoBXyuSiBImIXE1Xp58weCJdY6ONxNXkoYBgruL80vvcDqFA FOXjWuBK+dLVjALPuyuN3Koy/gdeFV0o0bNCye/GGbaddHFt8Vw5U0ljzCK24CqK ccNOC7Xnvfzo62ySa6LuUtym3Jg0zGAJwObCXZqRXLZTek5ShYrCnfRSe6B/ELwf egHuhRTsKEiuzwsuR+QO7DGQFP2CfnmQKHTGOuIoZ2X/ao3if8EVtlD2a4PjafCG ue6DprUEp8xPkUMq8jASD5RxG61oFTeIOybvVb777ouLm05oH5lJOuo9RXIqHZFH twZJdZVRVJRBOwzf+tC4mlX+494u3A8jFiEfOBeL2Y3bMpM2qmgDCAe9a4h2ADvF fwe5CMGAbutsT1BHO2OCdOwbLHwsExHwI5tPnq5CZsF7lbjZwC9WBDqgx07HqIc2 XhgcAmDrhAVQBjAkfE+08NoWDuI56oDmZx408vQ8xZWO8prNs5IowMGGGwfKOAZt U+hkXKXb+wqCgApD18VpMUk86Dwt6kX2FiGjyZ7KCFHxMJD5rY/JW55YrFQNF/X+ iszU38dHKnTuOBEO4sBf =Samd -----END PGP SIGNATURE----- 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) -- Michael Tautschnig <[email protected]> Tue, 07 Jul 2015 08:08:48 +0100
