cloog: update isl resource url (#87053)

master
Sam Ford 2021-10-10 19:00:45 -04:00 committed by GitHub
parent abb6209369
commit 0264b7f6d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -23,7 +23,7 @@ class Cloog < Formula
depends_on "gmp"
resource "isl" do
url "http://isl.gforge.inria.fr/isl-0.18.tar.xz"
url "https://libisl.sourceforge.io/isl-0.18.tar.xz"
mirror "https://deb.debian.org/debian/pool/main/i/isl/isl_0.18.orig.tar.xz"
sha256 "0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4"
end