[ubuntu/hirsute-proposed] z3 4.8.10-1 (Accepted)

[Gianfranco Costamagna]

z3 (4.8.10-1) unstable; urgency=medium

  * New upstream release.
  * Update Standards-Version to 4.5.1.
  * Update patches:
     - Refresh 01-soname.patch.
     - Drop 02-pkgconfig.patch (fixed upstream).

Date: 2021-01-29 22:43:09.118146+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.8.10-1
-------------- next part --------------
Sorry, changesfile not available.