Arch Linux

Description:
isl.gforge.inria.fr has been shutdown [1]. isl is currently hosting its files on [2]
[3] contains diff updating the source entry.

Additional info:
* gcc 11.1.0-1
[1] https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
[2] https://libisl.sourceforge.io/
[3] PKGBUILD.diff

Steps to reproduce:
makepkg --verifysource
==> Making package: gcc 11.1.0-1 (Mon 25 Oct 2021 21:42:21 UTC)
==> Retrieving sources...
-> Downloading gcc-11.1.0.tar.xz...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
100 75.2M 100 75.2M 0 0 4726k 0 0:00:16 0:00:16 --:--:-- 10.0M
-> Downloading gcc-11.1.0.tar.xz.sig...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
100 543 100 543 0 0 903 0 --:--:-- --:--:-- --:--:-- 903
-> Downloading isl-0.24.tar.xz...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- 0:02:10 --:--:-- 0
curl: (28) Failed to connect to isl.gforge.inria.fr port 80 after 130098 ms: Connection timed out
Warning: Problem : timeout. Will retry in 3 seconds. 3 retries left.
0 0 0 0 0 0 0 0 --:--:-- 0:02:12 --:--:-- 0
curl: (28) Failed to connect to isl.gforge.inria.fr port 80 after 132164 ms: Connection timed out
Warning: Problem : timeout. Will retry in 3 seconds. 2 retries left.
0 0 0 0 0 0 0 0 --:--:-- 0:02:12 --:--:-- 0
curl: (28) Failed to connect to isl.gforge.inria.fr port 80 after 132165 ms: Connection timed out
Warning: Problem : timeout. Will retry in 3 seconds. 1 retries left.
0 0 0 0 0 0 0 0 --:--:-- 0:02:12 --:--:-- 0
curl: (28) Failed to connect to isl.gforge.inria.fr port 80 after 132164 ms: Connection timed out
==> ERROR: Failure while downloading http://isl.gforge.inria.fr/isl-0.24.tar.xz
Aborting...