From aec453190e4d659954d0703cbd90055b9d0f62ea Mon Sep 17 00:00:00 2001 From: Scala Steward Date: Wed, 20 Aug 2025 15:49:58 +0000 Subject: [PATCH] Update fundamentals-bio to 1.2.20 --- build.sbt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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",