diff options
author | Chris Packham <judge.packham@gmail.com> | 2021-10-10 08:58:49 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-10 08:58:49 (GMT) |
commit | bf890ce59e98dfeb6942c220a8fa9650eab634db (patch) | |
tree | d455a59edb17878cece5776e10c240031bc977b0 /packages | |
parent | aa524934f5fcfedb91b03d2fec7a8dd4dd080aea (diff) | |
parent | cfb7d07ae1e0ef4dbf14f40a5744d1abd382d000 (diff) |
Merge pull request #1614 from cpackham/isl-mirror
isl: Update mirror URL
Diffstat (limited to 'packages')
-rw-r--r-- | packages/isl/package.desc | 2 |
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' |