Update Scala version number (#1616)

epfl-lara · Dec 9, 2024 · 805b1f7 · 805b1f7
1 parent f1fcea3
commit 805b1f7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -83,7 +83,7 @@ For instance:
 ```scala
 ThisBuild / version := "0.1.0"
 
-ThisBuild / scalaVersion := "3.5.0"
+ThisBuild / scalaVersion := "3.5.2"
 
 lazy val myTestProject = (project in file("."))
   .enablePlugins(StainlessPlugin) // <--------

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.5.0"
-LIB_SCALA_VERSION="3.5.0"
+SCALA_VERSION="3.5.2"
+LIB_SCALA_VERSION="3.5.2"
 LIB_SCALA_VERSION_JAR_NAME_PART=$(echo $LIB_SCALA_VERSION | cut -d '.' -f 1)
 Z3_VERSION="4.12.2"
 CVC5_VERSION="1.0.8"