z3 4.15.2

Author: BrewTestBot

Formula/z/z3.rb

@@ -1,8 +1,8 @@
 class Z3 < Formula
   desc "High-performance theorem prover"
   homepage "https://github.com/Z3Prover/z3"
-  url "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.1.tar.gz"
-  sha256 "ebf6eed5f2cb217d62abddaa94526189ae40bf3c415fb9c2e2128e099f16fda0"
+  url "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.15.2.tar.gz"
+  sha256 "3486bf5b35b185981cab0b0a81f870547648a1ca433085aa79afd17c44959751"
   license "MIT"
   head "https://github.com/Z3Prover/z3.git", branch: "master"