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 <john@metanate.com>
Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
This commit is contained in:
John Keeping 2021-10-26 18:04:00 +01:00 committed by Arnout Vandecappelle (Essensium/Mind)
parent cf8900b063
commit 748b7878e9

View file

@ -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