z3_jll build 4.12.1+0

JuliaBinaryWrappers · Feb 20, 2023 · ed2a33f · ed2a33f
1 parent 1eeec6b
commit ed2a33f
Show file tree

Hide file tree

Showing 97 changed files with 450 additions and 450 deletions.
diff --git a/Artifacts.toml b/Artifacts.toml
diff --git a/Project.toml b/Project.toml
@@ -1,10 +1,9 @@
 name = "z3_jll"
 uuid = "1bc4e1ec-7839-5212-8f2f-0d16b7bd09bc"
-version = "4.11.2+1"
+version = "4.12.1+0"
 
 [deps]
 JLLWrappers = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
-Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 GMP_jll = "781609d7-10c4-51f6-84f2-b8444358ff6d"
 CompilerSupportLibraries_jll = "e66e0078-7015-5450-92f7-15fbd957f2ae"
 libcxxwrap_julia_jll = "3eaa8342-bff7-56a5-9981-c04077f7cee7"
@@ -14,3 +13,4 @@ Artifacts = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
 [compat]
 JLLWrappers = "1.2.0"
 julia = "1.6"
+GMP_jll = "6.2.1"
diff --git a/README.md b/README.md
@@ -1,10 +1,10 @@
-# `z3_jll.jl` (v4.11.2+1)
+# `z3_jll.jl` (v4.12.1+0)
 
 [![deps](https://juliahub.com/docs/z3_jll/deps.svg)](https://juliahub.com/ui/Packages/z3_jll/wcWKl?page=2)
 
 This is an autogenerated package constructed using [`BinaryBuilder.jl`](https://github.com/JuliaPackaging/BinaryBuilder.jl).
 
-The originating [`build_tarballs.jl`](https://github.com/JuliaPackaging/Yggdrasil/blob/22ea092672f544d14eb8033914bea7a20e7153fd/Z/z3/build_tarballs.jl) script can be found on [`Yggdrasil`](https://github.com/JuliaPackaging/Yggdrasil/), the community build tree.
+The originating [`build_tarballs.jl`](https://github.com/JuliaPackaging/Yggdrasil/blob/c40371b33df7e14dab8a2ca000dcdbcbf2643c80/Z/z3/build_tarballs.jl) script can be found on [`Yggdrasil`](https://github.com/JuliaPackaging/Yggdrasil/), the community build tree.
 
 ## Bug Reports
 
@@ -18,7 +18,7 @@ For more details about JLL packages and how to use them, see `BinaryBuilder.jl`
 
 The tarballs for `z3_jll.jl` have been built from these sources:
 
-* compressed archive: https://github.com/Z3Prover/z3/archive/z3-4.11.2.tar.gz (SHA256 checksum: `e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e`)
+* compressed archive: https://github.com/Z3Prover/z3/releases/download/z3-4.12.1/z3-solver-4.12.1.0.tar.gz (SHA256 checksum: `c6b7c0f1c595ba47609d0e02b0cc263dc755def9f8d6f51c1943aec040a1eb2d`)
 * compressed archive: https://github.com/phracker/MacOSX-SDKs/releases/download/10.15/MacOSX10.15.sdk.tar.xz (SHA256 checksum: `2408d07df7f324d3beea818585a6d990ba99587c218a3969f924dfcc4de93b62`)
 
 ## Platforms

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.10.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.10.0.jl
@@ -4,14 +4,14 @@ export libz3, libz3jl, z3
 using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.12.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
     JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.11.dylib",
+        "lib/libz3.4.12.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.7.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.7.0.jl
@@ -4,14 +4,14 @@ export libz3, libz3jl, z3
 using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.12.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
     JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.11.dylib",
+        "lib/libz3.4.12.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.8.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.8.0.jl
@@ -4,14 +4,14 @@ export libz3, libz3jl, z3
 using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.12.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
     JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.11.dylib",
+        "lib/libz3.4.12.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-apple-darwin-julia_version+1.9.0.jl b/src/wrappers/aarch64-apple-darwin-julia_version+1.9.0.jl
@@ -4,14 +4,14 @@ export libz3, libz3jl, z3
 using GMP_jll
 using libcxxwrap_julia_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.11.dylib")
+JLLWrappers.@declare_library_product(libz3, "@rpath/libz3.4.12.dylib")
 JLLWrappers.@declare_library_product(libz3jl, "@rpath/libz3jl.dylib")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()
     JLLWrappers.@generate_init_header(GMP_jll, libcxxwrap_julia_jll)
     JLLWrappers.@init_library_product(
         libz3,
-        "lib/libz3.4.11.dylib",
+        "lib/libz3.4.12.dylib",
         RTLD_LAZY | RTLD_DEEPBIND,
     )
 

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.10.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.10.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.6.3.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-gnu-cxx03-julia_version+1.9.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.10.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.10.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.6.3.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-gnu-cxx11-julia_version+1.9.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.10.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.10.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.6.3.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-musl-cxx03-julia_version+1.9.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.10.0.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.10.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.6.3.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.6.3.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.7.0.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.8.0.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.9.0.jl b/src/wrappers/aarch64-linux-musl-cxx11-julia_version+1.9.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-gnueabihf-cxx03-julia_version+1.7.0.jl b/src/wrappers/armv6l-linux-gnueabihf-cxx03-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-gnueabihf-cxx03-julia_version+1.8.0.jl b/src/wrappers/armv6l-linux-gnueabihf-cxx03-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-gnueabihf-cxx11-julia_version+1.7.0.jl b/src/wrappers/armv6l-linux-gnueabihf-cxx11-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-gnueabihf-cxx11-julia_version+1.8.0.jl b/src/wrappers/armv6l-linux-gnueabihf-cxx11-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-musleabihf-cxx03-julia_version+1.7.0.jl b/src/wrappers/armv6l-linux-musleabihf-cxx03-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-musleabihf-cxx03-julia_version+1.8.0.jl b/src/wrappers/armv6l-linux-musleabihf-cxx03-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-musleabihf-cxx11-julia_version+1.7.0.jl b/src/wrappers/armv6l-linux-musleabihf-cxx11-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv6l-linux-musleabihf-cxx11-julia_version+1.8.0.jl b/src/wrappers/armv6l-linux-musleabihf-cxx11-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv7l-linux-gnueabihf-cxx03-julia_version+1.6.3.jl b/src/wrappers/armv7l-linux-gnueabihf-cxx03-julia_version+1.6.3.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv7l-linux-gnueabihf-cxx03-julia_version+1.7.0.jl b/src/wrappers/armv7l-linux-gnueabihf-cxx03-julia_version+1.7.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv7l-linux-gnueabihf-cxx03-julia_version+1.8.0.jl b/src/wrappers/armv7l-linux-gnueabihf-cxx03-julia_version+1.8.0.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()

diff --git a/src/wrappers/armv7l-linux-gnueabihf-cxx11-julia_version+1.6.3.jl b/src/wrappers/armv7l-linux-gnueabihf-cxx11-julia_version+1.6.3.jl
@@ -5,7 +5,7 @@ using GMP_jll
 using libcxxwrap_julia_jll
 using CompilerSupportLibraries_jll
 JLLWrappers.@generate_wrapper_header("z3")
-JLLWrappers.@declare_library_product(libz3, "libz3.so.4.11")
+JLLWrappers.@declare_library_product(libz3, "libz3.so.4.12")
 JLLWrappers.@declare_library_product(libz3jl, "libz3jl.so")
 JLLWrappers.@declare_executable_product(z3)
 function __init__()