From 2dd051d8ae69c2d019867c141fe87d74d86c2f2d Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Tue, 7 Oct 2025 14:22:05 +0000
Subject: [PATCH] Update scala-library to 2.13.17

---
 build.sc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sc b/build.sc
index 5ab55fe..070d15c 100644
--- a/build.sc
+++ b/build.sc
@@ -12,7 +12,7 @@ import java.io.File
 
 object DepVersions {
   def mdoc = "2.3.6"
-  def scala213 = "2.13.16"
+  def scala213 = "2.13.17"
   def scalaJs = "1.18.1"
 
   def scala = Seq(scala213, "2.12.20")