Publish 0.12.1 to fix aarch64 Linux musl build.

prove-rs · Jul 25, 2023 · 18a5efd · 18a5efd
1 parent 89629c0
commit 18a5efd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/z3/Cargo.toml b/z3/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "z3"
-version = "0.12.0"
+version = "0.12.1"
 authors = ["Graydon Hoare <[email protected]>", "Bruce Mitchener <[email protected]>", "Nick Fitzgerald <[email protected]>"]
 
 description = "High-level rust bindings for the Z3 SMT solver from Microsoft Research"