Merge pull request #2807 from scala-steward/update/z3-turnkey-4.12.4

Update z3-turnkey to 4.12.4
apalache-mc · Jan 18, 2024 · 10dcc1e · 10dcc1e
2 parents f93f962 + 44ca32b
commit 10dcc1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -36,7 +36,7 @@ object Dependencies {
     val tla2tools = "org.lamport" % "tla2tools" % "1.7.0-SNAPSHOT"
     val ujson = "com.lihaoyi" %% "ujson" % "3.1.4"
     val upickle = "com.lihaoyi" %% "upickle" % "3.1.4"
-    val z3 = "tools.aqua" % "z3-turnkey" % "4.12.2.1"
+    val z3 = "tools.aqua" % "z3-turnkey" % "4.12.4"
     val zio = "dev.zio" %% "zio" % zioVersion
     // Keep up to sync with version in plugins.sbt
     val zioGrpcCodgen = "com.thesamet.scalapb.zio-grpc" %% "zio-grpc-codegen" % "0.6.0-test3" % "provided"