diff --git a/build.sbt b/build.sbt index 870f68e..1d9c8cf 100644 --- a/build.sbt +++ b/build.sbt @@ -46,7 +46,7 @@ libraryDependencies ++= Seq( "tf.tofu" %% "tofu" % "0.13.6", // izumi - "io.7mind.izumi" %% "fundamentals-bio" % "1.2.16", + "io.7mind.izumi" %% "fundamentals-bio" % "1.2.20", // HoTT in Scala "io.github.siddhartha-gadgil" %% "provingground-core-jvm" % "0.1.1",