[ubuntu/groovy-proposed] z3 4.8.9-1 (Accepted)

[Gianfranco Costamagna]

z3 (4.8.9-1) unstable; urgency=medium

  * New upstream release.
  * Upgrade to debhelper compat level 13.
  * Update patches:
     - Refresh 00-intrinsics.patch.
     - Drop 01-reproducibility.patch (fixed upstream).
     - Refresh 02-soname.patch and rename it to 01-soname.patch.
     - Drop 03-pthread.patch (fixed upstream).
     - Add 02-pkgconfig.patch to correct the new z3.pc file.
  * Add the superficial pkg-config-test autopkgtest to check whether
    the new z3.pc file is installed properly and usable.

Date: 2020-09-21 16:50:56.377693+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.8.9-1
-------------- next part --------------
Sorry, changesfile not available.