Accepted z3 4.4.1-0.3 (source) into unstable
-----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-----