From b2d04215bfd6f916d8df03b7457b33d21b2c2093 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 8 Oct 2021 18:14:07 +0200
Subject: [PATCH] isl: upsteam moved to sourceforge.

---
 srcpkgs/isl/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/isl/template b/srcpkgs/isl/template
index 397221fbaa4..6d4e18b1887 100644
--- a/srcpkgs/isl/template
+++ b/srcpkgs/isl/template
@@ -1,15 +1,15 @@
 # Template file for 'isl'
 pkgname=isl
 version=0.24
-revision=1
+revision=2
 bootstrap=yes
 build_style=gnu-configure
 makedepends="gmp-devel"
 short_desc="Integer Set Library"
 maintainer="Orphaned <orphan@voidlinux.org>"
 license="MIT"
-homepage="http://isl.gforge.inria.fr"
-distfiles="http://isl.gforge.inria.fr/isl-${version}.tar.bz2"
+homepage="https://libisl.sourceforge.io/"
+distfiles="${SOURCEFORGE_SITE}/libisl/isl-${version}.tar.bz2"
 checksum=fcf78dd9656c10eb8cf9fbd5f59a0b6b01386205fe1934b3b287a0a1898145c0
 
 if [ -z "$CHROOT_READY" ]; then