From 48ac8a3bacad6452e13cf1dfe594e407680afec3 Mon Sep 17 00:00:00 2001
From: Jack Leightcap <jack.leightcap@trailofbits.com>
Date: Sat, 6 May 2023 04:48:46 -0400
Subject: [PATCH] z3: 4.12.1

https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1

declare most recent minor version.

Signed-off-by: Jack Leightcap <jack.leightcap@trailofbits.com>
---
 pkgs/applications/science/logic/z3/default.nix | 4 ++++
 pkgs/top-level/all-packages.nix                | 1 +
 2 files changed, 5 insertions(+)

diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix
index e2842d9d15a4..f36b26d9a398 100644
--- a/pkgs/applications/science/logic/z3/default.nix
+++ b/pkgs/applications/science/logic/z3/default.nix
@@ -87,6 +87,10 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }:
   };
 in
 {
+  z3_4_12 = common {
+    version = "4.12.1";
+    sha256 = "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=";
+  };
   z3_4_11 = common {
     version = "4.11.0";
     sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk=";
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 5a46b6afe7f6..3880daf23890 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -37930,6 +37930,7 @@ with pkgs;
 
 
   inherit (callPackages ../applications/science/logic/z3 { python = python3; })
+    z3_4_12
     z3_4_11
     z3_4_8
     z3_4_8_5;