Changelog z3 (4.4.1-0.3build4)

2017

z3 (4.4.1-0.3build4) bionic; urgency=high

   * No change rebuild against ocaml 4.05.

z3 (4.4.1-0.3build3) artful; urgency=high

   * No change rebuild against ocaml 4.04 transition.

2016

z3 (4.4.1-0.3build2) zesty; urgency=medium

   * Rebuild against new OCAML ABI.

z3 (4.4.1-0.3build1) zesty; urgency=medium

   * Rebuild against new OCAML ABI.

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.

z3 (4.4.1-0.2) unstable; urgency=medium

   * Non-maintainer upload.
   * Add patch kfreebsd.patch to attempt to fix a FTBFS on kfreebsd-*.
   * Adjust avoid-ocamlopt.patch to remove all calls to ocamlopt.
   * Build libz3-cil only where Mono is available.
   * Build libz3-jni and libz3-java only where Java is available.
   * Remove enable-dotnet.patch and recreate its effect with sed in
     debian/rules depending on whether Mono is available or not.
   * Disable some tests that might fail on some platforms.
     Forwarded: https://github.com/Z3Prover/z3/issues/687
   * Enable hardening flags for libz3-ocaml-dev.

z3 (4.4.1-0.1) unstable; urgency=medium

   * Non-maintainer upload.
   * New upstream release.
   * Remove patches that were fixed upstream:
      - signed_char01
      - signed_char02
      - signed_char03
      - signed_char04
      - disable_test
      - disable_test2
      - disable_test3
      - disable_test4 (upstream issue has been closed:
         https://github.com/Z3Prover/z3/issues/210)
      - fix_conflict
   * Migrate remaining patches to DEP-3 format.
   * Rewrite typos.patch to apply to new version of z3.
   * Add patch fix-dotnet-version.patch to fix a FTBFS with Mono caused
     by an apparently unsupported version of the .NET framework
     (Closes: #808695).
   * Add patch disable-tests.patch to disable three potentially failing
     tests in src/test/main.cpp.
   * Install shared libraries into new libz3-4 package (Closes: #819884).
   * Remove ${shlibs:Depends} and ${misc:Pre-Depends} substitution
     variables from libz3-dev entry in debian/control.
   * Install python files directly into /usr/lib/python2.7/dist-packages/
     (Closes: #802272).
   * Clean up debian/rules.
   * Remove unnecessary version restriction of build dependency
     cli-common-dev.
   * Fix debian/copyright: Change MIT to Expat and delete file block that
     no longer applies (copyright of hamiltonian.py changed).
   * Move libz3-ocaml-dev into section ocaml.
   * Add preinst scripts to remove directories from older versions to allow
     debhelper to install symlinks (Closes: #823573).
   * Enable hardening flags in debian/rules.

2015

z3 (4.4.0-5) unstable; urgency=low

   * Add fixes for tests previously failing on ARM, PowerPC

z3 (4.4.0-4) unstable; urgency=low

   * Add libz3-jni package to split out arch-specific files from java package.
     (Closes: #797515)
   * Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514)
   * ocamlopt isn't universally available, and never actually used in the build
     process.

z3 (4.4.0-3) unstable; urgency=low

   * De-duplicate files in python-z3, depend on libz3-dev instead
   * Added bindings for java, OCaml, and .NET
   * Use multi-arch library locations

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)

z3 (4.4.0-1) unstable; urgency=low

   * Initial release (Closes: #786807)
   * Includes patches from unstable branch up to 6a50f10b8b