[ubuntu/impish-proposed] z3 4.8.12-1 (Accepted)

[Gianfranco Costamagna]

z3 (4.8.12-1) unstable; urgency=medium

  [ Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

  [ Fabian Wolff ]
  * New upstream release.
  * Upgrade to Standards-Version 4.6.0.
  * Update years in debian/copyright.
  * Update 00-intrinsics.patch and refresh 01-soname.patch.

Date: 2021-09-11 22:38:00.838237+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.8.12-1
-------------- next part --------------
Sorry, changesfile not available.