From 65da19b02a4974e43f4875ad652873234ade4e6b Mon Sep 17 00:00:00 2001
From: Scala Steward <scala_steward@virtuslab.com>
Date: Sat, 17 Aug 2024 13:24:53 +0000
Subject: [PATCH] Update mainargs to 0.7.2

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

diff --git a/build.sc b/build.sc
index 00ca44cce..6c24581d2 100644
--- a/build.sc
+++ b/build.sc
@@ -108,7 +108,7 @@ object Deps {
   val jlineReader = ivy"org.jline:jline-reader:3.14.1"
   val jlineTerminal = ivy"org.jline:jline-terminal:3.14.1"
   val jsch = ivy"com.jcraft:jsch:0.1.55"
-  val mainargs = ivy"com.lihaoyi::mainargs:0.5.4"
+  val mainargs = ivy"com.lihaoyi::mainargs:0.7.2"
   val osLib = ivy"com.lihaoyi::os-lib:0.10.3"
   val pprint = ivy"com.lihaoyi::pprint:0.9.0"
   val requests = ivy"com.lihaoyi::requests:0.8.3"