New version: z3_jll v4.12.6+0 (#101660)

UUID: 1bc4e1ec-7839-5212-8f2f-0d16b7bd09bc Repo: https://github.com/JuliaBinaryWrappers/z3_jll.jl.git Tree: 2f346d24914a1812d6856c468d07c604e98661d4 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Feb 26, 2024 · d14f55f · d14f55f
1 parent e86ed9c
commit d14f55f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/jll/Z/z3_jll/Versions.toml b/jll/Z/z3_jll/Versions.toml
@@ -21,3 +21,6 @@ git-tree-sha1 = "bc76322268a08e64f680b86ae84a79cfce55d778"
 
 ["4.12.4+0"]
 git-tree-sha1 = "f11919f24484ee9c355a846bbd15e8401c5d2fea"
+
+["4.12.6+0"]
+git-tree-sha1 = "2f346d24914a1812d6856c468d07c604e98661d4"