Fix Scala version to 3.5.0 in packaging script

epfl-lara · Sep 13, 2024 · c4ba951 · c4ba951
1 parent 20571da
commit c4ba951
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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"