summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Packham <judge.packham@gmail.com>2021-10-10 08:58:49 (GMT)
committerGitHub <noreply@github.com>2021-10-10 08:58:49 (GMT)
commitbf890ce59e98dfeb6942c220a8fa9650eab634db (patch)
treed455a59edb17878cece5776e10c240031bc977b0
parentaa524934f5fcfedb91b03d2fec7a8dd4dd080aea (diff)
parentcfb7d07ae1e0ef4dbf14f40a5744d1abd382d000 (diff)
Merge pull request #1614 from cpackham/isl-mirror
isl: Update mirror URL
-rw-r--r--packages/isl/package.desc2
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/isl/package.desc b/packages/isl/package.desc
index ffae478..20f7e02 100644
--- a/packages/isl/package.desc
+++ b/packages/isl/package.desc
@@ -1,6 +1,6 @@
repository='git git://repo.or.cz/isl.git'
bootstrap='./autogen.sh'
-mirrors='http://isl.gforge.inria.fr'
+mirrors='https://libisl.sourceforge.io'
relevantpattern='*.*|.'
milestones='0.12 0.13 0.14 0.15 0.18'
archive_formats='.tar.xz .tar.bz2 .tar.gz'