Merge pull request #1614 from cpackham/isl-mirror

isl: Update mirror URL
This commit is contained in:
Chris Packham 2021-10-10 21:58:49 +13:00 committed by GitHub
commit bf890ce59e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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