From 06d627a3e8769b43e6129fc08e65ba18edc9ad72 Mon Sep 17 00:00:00 2001
From: "nimble-agar-steward[bot]"
 <106723251+nimble-agar-steward[bot]@users.noreply.github.com>
Date: Mon, 6 May 2024 21:16:56 +0000
Subject: [PATCH] Update sbt-typelevel to 0.7.1

---
 project/plugins.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/plugins.sbt b/project/plugins.sbt
index e037531..7d4176d 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -1,4 +1,4 @@
-addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.4.19")
+addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.7.1")
 addSbtPlugin("org.scala-js" % "sbt-scalajs" % "1.13.0")
 addSbtPlugin("org.scala-native" % "sbt-scala-native" % "0.4.12")
 addSbtPlugin("org.portable-scala" % "sbt-scala-native-crossproject" % "1.3.0")