Ubuntu
z3 package

Change logs for z3 source package in Noble

  1. Noble (24.04)
  2. Change log 
  • z3 (4.8.12-3.1build1) noble; urgency=high

  * No change rebuild against frame pointers and time_t.

 -- Julian Andres Klode <email address hidden>  Mon, 22 Apr 2024 11:52:27 +0200
  • 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