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"