Merge branch 'main' into update/compilerplugin-0.11.17

apalache-mc · Aug 19, 2024 · 2788cde · 2788cde
2 parents b1e31f1 + 9c7a608
commit 2788cde
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -32,7 +32,7 @@ object Dependencies {
     val scalaCollectionContrib = "org.scala-lang.modules" %% "scala-collection-contrib" % "0.3.0"
     val scalaz = "org.scalaz" %% "scalaz-core" % "7.3.5"
     val slf4j = "org.slf4j" % "slf4j-api" % "2.0.16"
-    val shapeless = "com.chuusai" %% "shapeless" % "2.3.10"
+    val shapeless = "com.chuusai" %% "shapeless" % "2.3.12"
     val tla2tools = "org.lamport" % "tla2tools" % "1.7.0-SNAPSHOT"
     val ujson = "com.lihaoyi" %% "ujson" % "3.2.0"
     val upickle = "com.lihaoyi" %% "upickle" % "3.2.0"