[ubuntu/noble-proposed] z3 4.8.12-3.1build1 (Accepted)

[Julian Andres Klode]

z3 (4.8.12-3.1build1) noble; urgency=high

  * No change rebuild against frame pointers and time_t.

Date: Mon, 22 Apr 2024 11:52:27 +0200
Changed-By: Julian Andres Klode <juliank at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/z3/4.8.12-3.1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 22 Apr 2024 11:52:27 +0200
Source: z3
Built-For-Profiles: noudeb
Architecture: source
Version: 4.8.12-3.1build1
Distribution: noble
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Julian Andres Klode <juliank at ubuntu.com>
Changes:
 z3 (4.8.12-3.1build1) noble; urgency=high
 .
   * No change rebuild against frame pointers and time_t.
Checksums-Sha1:
 48da1d125b7c124f96152576352625cca8ad0311 2770 z3_4.8.12-3.1build1.dsc
 a97bbdf0122564c0a93426fa9c9a5e3296c028e4 10536 z3_4.8.12-3.1build1.debian.tar.xz
 1ee9581e00b36f90027c9438599221b70fc023d7 10065 z3_4.8.12-3.1build1_source.buildinfo
Checksums-Sha256:
 5af2f7a629e2169b284c9e1cd85b82b9f93312cab178da2e7d8cfdcd728b1a02 2770 z3_4.8.12-3.1build1.dsc
 f7a34430b1ddad40767539aa2c325986ac3134d7a36fa8402daea5389f709d62 10536 z3_4.8.12-3.1build1.debian.tar.xz
 a3cd949dc6145d1085481efb982fd98f00294b13cfde7e0afb80281027607718 10065 z3_4.8.12-3.1build1_source.buildinfo
Files:
 be9e134f66c9d96c4ed219b138e66b2c 2770 science optional z3_4.8.12-3.1build1.dsc
 ae6d69c88d54af7597f09581dfe02979 10536 science optional z3_4.8.12-3.1build1.debian.tar.xz
 37d124eca118d6b96640b308dc1726ff 10065 science optional z3_4.8.12-3.1build1_source.buildinfo
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>