summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorJonathon Fernyhough2021-10-02 16:24:10 +0100
committerJonathon Fernyhough2021-10-02 16:24:10 +0100
commitbb5b996f2c73874591de0ad318222f0b931b2abf (patch)
tree13d7a96e31210fe7facd7b8272644a32caebc479 /PKGBUILD
parent892903b87e694f22dec38d64f3f8910fb3cf9d64 (diff)
downloadaur-bb5b996f2c73874591de0ad318222f0b931b2abf.tar.gz
Use mirror for ISL until Inria sort out their GitLab instance
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index de923628b5be..06d680461545 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -20,7 +20,7 @@ makedepends=(binutils libmpc doxygen python)
checkdepends=(dejagnu inetutils)
options=(!emptydirs)
source=(https://ftp.gnu.org/gnu/gcc/gcc-$pkgver/gcc-$pkgver.tar.xz{,.sig}
- http://isl.gforge.inria.fr/isl-${_islver}.tar.bz2)
+ https://mirror.sobukus.de/files/src/isl/isl-${_islver}.tar.bz2)
validpgpkeys=(13975A70E63C361C73AE69EF6EEB81F8981C74C7 # richard.guenther@gmail.com
D3A93CAD751C2AF4F8C7AD516C35B99309B5FA62) # Jakub Jelinek <jakub@redhat.com>
sha512sums=('92f599680e6b7fbce88bcdda810f468777d541e5fddfbb287f7977d51093de2a5178bd0e6a08dfe37090ea10a0508a43ccd00220041abbbec33f1179bfc174d8'