From 3174161748d35ca837e6702f28e720112f9b3ec7 Mon Sep 17 00:00:00 2001
From: Henrik Grimler <henrik@grimler.se>
Date: Sun, 31 Oct 2021 15:03:42 +0100
Subject: [PATCH] libisl: download archive from ubuntu instead

Homepage is down.

%ci:no-build
---
 packages/libisl/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/libisl/build.sh b/packages/libisl/build.sh
index f951e374d..e82276294 100644
--- a/packages/libisl/build.sh
+++ b/packages/libisl/build.sh
@@ -3,7 +3,7 @@ TERMUX_PKG_DESCRIPTION="Library for manipulating sets and relations of integer p
 TERMUX_PKG_LICENSE="MIT"
 TERMUX_PKG_MAINTAINER="@termux"
 TERMUX_PKG_VERSION=0.24
-TERMUX_PKG_SRCURL=http://isl.gforge.inria.fr/isl-${TERMUX_PKG_VERSION}.tar.xz
+TERMUX_PKG_SRCURL=http://archive.ubuntu.com/ubuntu/pool/main/i/isl/isl_${TERMUX_PKG_VERSION}.orig.tar.xz
 TERMUX_PKG_SHA256=043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad
 TERMUX_PKG_DEPENDS="libgmp"
 TERMUX_PKG_BREAKS="libisl-dev"