[ubuntu/yakkety-proposed] z3 4.4.1-0.3 (Accepted)

Mon Sep 26 20:13:10 UTC 2016

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.

Date: 2016-09-26 16:28:45.446715+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: LocutusOfBorg <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.4.1-0.3
-------------- next part --------------
Sorry, changesfile not available.