isl@0.14: secure url(s)

This commit is contained in:
Viktor Szakats 2017-10-19 01:46:53 +00:00
parent 835f106260
commit c6cfcfec83

View file

@ -2,8 +2,8 @@ class IslAT014 < Formula
desc "Integer Set Library for the polyhedral model"
homepage "http://freecode.com/projects/isl"
# Track gcc infrastructure releases.
url "http://isl.gforge.inria.fr/isl-0.14.tar.bz2"
mirror "ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.14.tar.bz2"
url "https://gcc.gnu.org/pub/gcc/infrastructure/isl-0.14.tar.bz2"
mirror "http://isl.gforge.inria.fr/isl-0.14.tar.bz2"
sha256 "7e3c02ff52f8540f6a85534f54158968417fd676001651c8289c705bd0228f36"
bottle do