Change logs for z3 source package in Lunar

z3 (4.8.12-3.1) unstable; urgency=medium

  * Non-maintainer upload.
  * riscv64: link against -latomic (Closes: #1025343)

 -- Manuel A. Fernandez Montecelo <email address hidden>  Wed, 01 Feb 2023 13:06:03 +0100

z3 (4.8.12-3) unstable; urgency=medium

  * Do not use SSE2 unconditionally on i386
    (Closes: #1020802, #1020516, #1016658, #1021926)

 -- Karo Gyoker <email address hidden>  Fri, 21 Oct 2022 19:24:40 +0200

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.

 -- Fabian Wolff <email address hidden>  Sat, 11 Sep 2021 17:58:23 +0200