From f2d4d0be1b7065ca1b9c375e225d2b0d05b741b7 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 21 Apr 2026 11:57:34 +0000 Subject: [PATCH] Update z3 requirement from 0.19.7 to 0.20.0 Updates the requirements on [z3](https://github.com/prove-rs/z3.rs) to permit the latest version. - [Release notes](https://github.com/prove-rs/z3.rs/releases) - [Changelog](https://github.com/prove-rs/z3.rs/blob/master/release-plz.toml) - [Commits](https://github.com/prove-rs/z3.rs/commits/z3-v0.20.0) --- updated-dependencies: - dependency-name: z3 dependency-version: 0.20.0 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Cargo.toml b/Cargo.toml index a1f5bd4fa7..72fcb47e42 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -164,7 +164,7 @@ uuid = { version = "1.19.0", features = ["serde", "v4"] } which = "8.0.0" windows = "0.62.1" windows-core = "0.62.1" -z3 = { version = "0.19.7", default-features = false } +z3 = { version = "0.20.0", default-features = false } [workspace.lints.rust] # Deny