From 661b5a5a996feea32fd50fe7a03b1d60f66ea184 Mon Sep 17 00:00:00 2001
From: Dario Halilovic <dario.halilovic@epfl.ch>
Date: Fri, 13 Sep 2024 17:19:15 +0200
Subject: [PATCH] Fix Scala version to 3.5.0 in packaging script

---
 bin/package-standalone.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/package-standalone.sh b/bin/package-standalone.sh
index e75643d48..ec011203c 100755
--- a/bin/package-standalone.sh
+++ b/bin/package-standalone.sh
@@ -14,8 +14,8 @@ if [[ $(git diff --stat) != '' ]]; then
   STAINLESS_VERSION="$STAINLESS_VERSION-SNAPSHOT"
 fi
 
-SCALA_VERSION="3.3.3"
-LIB_SCALA_VERSION="3.3.3"
+SCALA_VERSION="3.5.0"
+LIB_SCALA_VERSION="3.5.0"
 LIB_SCALA_VERSION_JAR_NAME_PART=$(echo $LIB_SCALA_VERSION | cut -d '.' -f 1)
 Z3_VERSION="4.12.2"
 CVC5_VERSION="1.0.8"