Use MLton 20241230 for install-bootstrap-dependencies action

.github/actions/install-bootstrap-dependencies/action.yml

@@ -17,9 +17,9 @@ runs:
         sudo apt-get install libgmp-dev
         if [[ "${{ inputs.install-llvm }}" == "true" ]]; then sudo apt-get install llvm; fi
         mkdir boot && cd boot
-        curl -O -L https://github.com/MLton/mlton/releases/download/on-20210117-release/mlton-20210117-1.amd64-linux-glibc2.31.tgz
-        tar xzf mlton-20210117-1.amd64-linux-glibc2.31.tgz --exclude='*/share' --strip-components=1
-        rm mlton-20210117-1.amd64-linux-glibc2.31.tgz
+        curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-linux.ubuntu-20.04_glibc2.31.tgz
+        tar xzf mlton-20241230-1.amd64-linux.ubuntu-20.04_glibc2.31.tgz --exclude='*/share' --strip-components=1
+        rm mlton-20241230-1.amd64-linux.ubuntu-20.04_glibc2.31.tgz
 
     - name: Install bootstrap dependencies (macos (amd64))
       if: ${{ inputs.runner == 'macos-13' }}
@@ -31,9 +31,9 @@ runs:
         echo "WITH_GMP_DIR=$(brew --prefix)" >> $GITHUB_ENV
         if [[ "${{ inputs.install-llvm }}" == "true" ]]; then brew install llvm; echo "$(brew --prefix llvm)/bin" >> $GITHUB_PATH; fi
         mkdir boot && cd boot
-        curl -O -L https://github.com/MLton/mlton/releases/download/on-20210117-release/mlton-20210117-1.amd64-darwin-19.6.gmp-homebrew.tgz
-        tar xzf mlton-20210117-1.amd64-darwin-19.6.gmp-homebrew.tgz --exclude='*/share' --strip-components=1
-        rm mlton-20210117-1.amd64-darwin-19.6.gmp-homebrew.tgz
+        curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-darwin.macos-13_gmp-homebrew.tgz
+        tar xzf mlton-20241230-1.amd64-darwin.macos-13_gmp-homebrew.tgz --exclude='*/share' --strip-components=1
+        rm mlton-20241230-1.amd64-darwin.macos-13_gmp-homebrew.tgz
 
     - name: Install bootstrap dependencies (macos (arm64))
       if: ${{ (inputs.runner == 'macos-14') || (inputs.runner == 'macos-15') }}
@@ -45,9 +45,9 @@ runs:
         echo "WITH_GMP_DIR=$(brew --prefix)" >> $GITHUB_ENV
         if [[ "${{ inputs.install-llvm }}" == "true" ]]; then brew install llvm; echo "$(brew --prefix llvm)/bin" >> $GITHUB_PATH; fi
         mkdir boot && cd boot
-        curl -O -L https://projects.laas.fr/tina/software/mlton-20210117-1.arm64-darwin-21.6-gmp-static.tgz
-        tar xzf mlton-20210117-1.arm64-darwin-21.6-gmp-static.tgz --exclude='*/share' --strip-components=1
-        rm mlton-20210117-1.arm64-darwin-21.6-gmp-static.tgz
+        curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.arm64-darwin.macos-14_gmp-homebrew.tgz
+        tar xzf mlton-20241230-1.arm64-darwin.macos-14_gmp-homebrew.tgz --exclude='*/share' --strip-components=1
+        rm mlton-20241230-1.arm64-darwin.macos-14_gmp-homebrew.tgz
 
     - name: Install bootstrap dependencies (windows)
       if: ${{ startsWith(inputs.runner, 'windows') }}
@@ -56,6 +56,6 @@ runs:
         # Install dependencies (windows)
         pacboy --noconfirm -S --needed gcc:p gmp-devel:
         mkdir boot && cd boot
-        curl -O -L https://github.com/MLton/mlton/releases/download/on-20200817-release/mlton-20200817-amd64-mingw.tgz
-        tar xzf mlton-20200817-amd64-mingw.tgz --exclude='*/share' --strip-components=1
-        rm mlton-20200817-amd64-mingw.tgz
+        curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz
+        tar xzf https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz --exclude='*/share' --strip-components=1
+        rm https://github.com/MLton/mlton/releases/download/on-20241230-release/mlton-20241230-1.amd64-mingw.windows-2022_MINGW64.tgz