summaryrefslogtreecommitdiff
path: root/packages
diff options
context:
space:
mode:
authorChris Packham <judge.packham@gmail.com>2021-10-10 08:27:50 (GMT)
committerChris Packham <judge.packham@gmail.com>2021-10-10 08:35:26 (GMT)
commitcfb7d07ae1e0ef4dbf14f40a5744d1abd382d000 (patch)
treed455a59edb17878cece5776e10c240031bc977b0 /packages
parentaa524934f5fcfedb91b03d2fec7a8dd4dd080aea (diff)
isl: Update mirror URL
gforge.inria.fr has been shutdown. The isl project has moved hosting to sourceforge.io. Update the mirror accordingly. Signed-off-by: Chris Packham <judge.packham@gmail.com>
Diffstat (limited to 'packages')
-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'