From 748b7878e90ab5813a6f48e156410cf38ef087d9 Mon Sep 17 00:00:00 2001 From: John Keeping Date: Tue, 26 Oct 2021 18:04:00 +0100 Subject: [PATCH] package/isl: switch to new site isl.gforge.inria.fr no longer responds and the main site is now at sourceforge.io. This change corresponds to the upstream commit that updates the documentation [1]. [1] https://repo.or.cz/isl.git/commitdiff/002820d725479b456c97ca9b0d59d6b3e18f7ee4 Signed-off-by: John Keeping Signed-off-by: Arnout Vandecappelle (Essensium/Mind) --- package/isl/isl.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package/isl/isl.mk b/package/isl/isl.mk index 3abd6640cb..df57c83f55 100644 --- a/package/isl/isl.mk +++ b/package/isl/isl.mk @@ -6,7 +6,7 @@ ISL_VERSION = 0.23 ISL_SOURCE = isl-$(ISL_VERSION).tar.xz -ISL_SITE = http://isl.gforge.inria.fr +ISL_SITE = https://libisl.sourceforge.io ISL_LICENSE = MIT ISL_LICENSE_FILES = LICENSE HOST_ISL_DEPENDENCIES = host-gmp