diff --git a/scripts/package_antares_web.sh b/scripts/package_antares_web.sh index d1864307a1..98d9bc2db7 100755 --- a/scripts/package_antares_web.sh +++ b/scripts/package_antares_web.sh @@ -9,7 +9,7 @@ set -e ANTARES_SOLVER_VERSION="8.8" -ANTARES_SOLVER_FULL_VERSION="8.8.4" +ANTARES_SOLVER_FULL_VERSION="8.8.5" ANTARES_SOLVER_VERSION_INT="880" SCRIPT_DIR=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" &>/dev/null && pwd -P)