isl_0.24 broken link

[MarcBoule]

The toolchain docker build is failing on step 18 / 20, (make toolchain-win), and from the looks of things, it's because this file is not found:

http://deb.debian.org/debian/pool/main/i/isl/isl_0.24.orig.tar.xz

It looks like it was removed. Strangely the 0.23 and 0.25 are still there:

http://deb.debian.org/debian/pool/main/i/isl/

Here's the except from my terminal. Would it be possible to use 0.25 instead of 0.24?

...
rm -f /home/build/rack-plugin-toolchain/local/share/crosstool-ng/LICENSE
ln -s COPYING /home/build/rack-plugin-toolchain/local/share/crosstool-ng/LICENSE
chmod a-x /home/build/rack-plugin-toolchain/local/share/bash-completion/completions/`echo ct-ng | sed 's,x,x,'`
make[4]: Leaving directory '/home/build/rack-plugin-toolchain/crosstool-ng'
make[3]: Leaving directory '/home/build/rack-plugin-toolchain/crosstool-ng'
make[2]: Leaving directory '/home/build/rack-plugin-toolchain/crosstool-ng'
make[1]: Leaving directory '/home/build/rack-plugin-toolchain/crosstool-ng'
rm -rf crosstool-ng
# HACK until crosstool-ng has fixed its mirror for isl library
mkdir -p .build/tarballs
cd .build/tarballs && wget http://deb.debian.org/debian/pool/main/i/isl/isl_0.24.orig.tar.xz && mv isl_0.24.orig.tar.xz isl-0.24.tar.xz
--2022-08-19 01:09:21--  http://deb.debian.org/debian/pool/main/i/isl/isl_0.24.orig.tar.xz
Resolving deb.debian.org (deb.debian.org)... 151.101.138.132, 2a04:4e42:20::644
Connecting to deb.debian.org (deb.debian.org)|151.101.138.132|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2022-08-19 01:09:21 ERROR 404: Not Found.

make: *** [Makefile:58: /home/build/rack-plugin-toolchain/local/x86_64-w64-mingw32] Error 8
The command '/bin/sh -c JOBS=$JOBS make toolchain-win' returned a non-zero code: 2
make: *** [Makefile:231: docker-build] Error 2

[cschol]

A new version of crosstool-ng was released that fixes the broken isl link and will eliminate the need for our apparently brittle hacks to work around it. I am testing the new version right now and will update if everything checks out.

[cschol]

Fixed in latest version. Let me know if you run into any issues.