Update ujson, upickle to 4.0.1

apalache-mc · Sep 4, 2024 · ad13e4e · ad13e4e
1 parent f8a8826
commit ad13e4e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -34,8 +34,8 @@ object Dependencies {
     val slf4j = "org.slf4j" % "slf4j-api" % "2.0.16"
     val shapeless = "com.chuusai" %% "shapeless" % "2.3.12"
     val tla2tools = "org.lamport" % "tla2tools" % "1.7.0-SNAPSHOT"
-    val ujson = "com.lihaoyi" %% "ujson" % "4.0.0"
-    val upickle = "com.lihaoyi" %% "upickle" % "4.0.0"
+    val ujson = "com.lihaoyi" %% "ujson" % "4.0.1"
+    val upickle = "com.lihaoyi" %% "upickle" % "4.0.1"
     val z3 = "tools.aqua" % "z3-turnkey" % "4.13.0"
     val zio = "dev.zio" %% "zio" % zioVersion
     // Keep up to sync with version in plugins.sbt