From a644f62ab8671514742c700e8be581f6d3181bb1 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 18 Dec 2024 21:41:39 +0000 Subject: [PATCH] Bump tools.aqua:z3-turnkey from 4.13.0.1 to 4.13.4 Bumps [tools.aqua:z3-turnkey](https://github.com/tudo-aqua/z3-turnkey) from 4.13.0.1 to 4.13.4. - [Release notes](https://github.com/tudo-aqua/z3-turnkey/releases) - [Commits](https://github.com/tudo-aqua/z3-turnkey/compare/4.13.0.1...4.13.4) --- updated-dependencies: - dependency-name: tools.aqua:z3-turnkey dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- gradle/libs.versions.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml index f7c4545..00a41d1 100644 --- a/gradle/libs.versions.toml +++ b/gradle/libs.versions.toml @@ -43,4 +43,4 @@ kotlin-serialization-json = { group = "org.jetbrains.kotlinx", name = "kotlinx-s petitparser-core = { group = "com.github.petitparser", name = "petitparser-core", version = "2.4.0" } xz = { group = "org.tukaani", name = "xz", version = "1.10" } zstd = { group = "com.github.luben", name = "zstd-jni", version = "1.5.6-8" } -z3-turnkey = { group = "tools.aqua", name = "z3-turnkey", version = "4.13.0.1" } +z3-turnkey = { group = "tools.aqua", name = "z3-turnkey", version = "4.13.4" }