Merge pull request #1150 from tweag/philwo-patch-1

Mirror zlib's http_archive
tweag · Nov 19, 2019 · 33743d2 · 33743d2
2 parents 636a68b + a74166b
commit 33743d2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/examples/WORKSPACE b/examples/WORKSPACE
@@ -55,7 +55,10 @@ cc_library(name = "z", srcs = glob(["*.c"]), hdrs = glob(["*.h"]))
 """,
     sha256 = "c3e5e9fdd5004dcb542feda5ee4f0ff0744628baf8ed2dd5d66f8ca1197cb1a1",
     strip_prefix = "zlib-1.2.11",
-    urls = ["http://zlib.net/zlib-1.2.11.tar.gz"],
+    urls = [
+        "https://mirror.bazel.build/zlib.net/zlib-1.2.11.tar.gz",
+        "http://zlib.net/zlib-1.2.11.tar.gz",
+    ],
 )
 
 # Demonstrates a vendored Stackage package to bump a version bound.