diff --git a/README.md b/README.md
index f64736e11..2ad7c5b9a 100644
--- 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
index f4dfa0c11..55e49e82d 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.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"