-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 25 Sep 2016 23:06:24 +0200 Source: z3 Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni Architecture: source Version: 4.4.1-0.3 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org> Description: libz3-4 - theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft Research - java bindings libz3-jni - theorem prover from Microsoft Research - JNI library libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings python-z3 - theorem prover from Microsoft Research - Python bindings z3 - theorem prover from Microsoft Research Closes: 835743 835754 Changes: z3 (4.4.1-0.3) unstable; urgency=medium . * Non-maintainer upload. . [ Fabian Wolff ] * debian/patches/f02d273ee39ae047222e362c37213d29135dc661.patch: Fix build failure with new gnu++14 standard. (Closes: #835754) * debian/patches/27399309009314f56cdfbd8333f287b1a9b7a3a6.patch: Fix build failure with new compiler and clang. (Closes: #835743) . [ Gianfranco Costamagna ] * debian/patches/fix-build.patch: tweak the casts a little bit more to really fix 835743. Checksums-Sha1: 2a36b942e4ad65148f9e788646c7d9bc896eb540 2787 z3_4.4.1-0.3.dsc 5e2e60e354b2445fb5e000bd8c7ed1063003ecad 14280 z3_4.4.1-0.3.debian.tar.xz Checksums-Sha256: 8678a2d34717dc16b548411d8ae9083077b56743bd371a8cc40d797b34d6eda6 2787 z3_4.4.1-0.3.dsc d3243ca3d0cd5edebecd1063ce7a9a51f912882b49a451ceb14dde35a6839d4d 14280 z3_4.4.1-0.3.debian.tar.xz Files: 640f36384685da84d3c150675dc739cd 2787 science extra z3_4.4.1-0.3.dsc c6bd61a8b4bc45a6f00021fc019f36de 14280 science extra z3_4.4.1-0.3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJX6LtfAAoJEPNPCXROn13ZmF4P/AljsPWLLfTDR0/kCnl2pm2F xzBawtjh9+e9m8jdd3upUJeE6I5jVMlwaV3nu/k9Pembl2wyJLvE6LJH1VmtRTHv PMSjr9CyKWIDSB3nNu8rHqMKh+RuaWr1BPlknLZajzHnuLY5kUSIw6cxuYcHrgrn urxN3Wto/eXYEHmlkD7gYxGuG1CqTCMvena9kBKhkSp4zPWrTAixs15g3x92+NbE RkECJJRcplRypi0Sbg2m0G9mm1AKfv/7U5MGja2WJkNI+aLIpTGoxNTmzMHDcyHb 6VzV6MJYXAMpnY2ab9VxvdrIu0Ha+Mm7ssP3L5rwdMGwaqft7U8M9YbtPO2235ft LqKOOVQOBQPG0BtimYsEij1TisPezeE2XVRM8RrrbZOj4Szqc+7xsdQ5vuMJuyBg VKTiPcz4lpjLED6EWemJQI/cH4nDAtIV+PvvrB5hn70aZ1yGsq4jgyvSa5iwYp/H WU157Ngqd0uzC+131aq+JzQp99vzxbLCNMDX9IUlyw35RrIUh5LSYB4CUj+L7/un xalWJmnHxcOJe6uIp9IEjUy/mfUrZJfbRUGwXT+tZIQwSXDdcg2s2hAGaif+d56q Ai25QFKVRCUd6ZXpLcMtgnQOsf70QGtaZ95+TNcIPKJEIZQXQF+TzdbHA6SnSB0D 7KOKY6jsY2R4fqP6KAKX =EjpS -----END PGP SIGNATURE-----