From b53840212774c9ae7f7bdacabe3792db05561c8c Mon Sep 17 00:00:00 2001
From: Will Dietz <github@wdtz.org>
Date: Tue, 3 Sep 2019 18:20:22 -0500
Subject: [PATCH] boost171: use 'urls' attribute per suggestion (thanks!)

Co-Authored-By: Jon <jonringer@users.noreply.github.com>
---
 pkgs/development/libraries/boost/1.71.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/boost/1.71.nix b/pkgs/development/libraries/boost/1.71.nix
index 3a585c2bc9b..f66bd4cd6fb 100644
--- a/pkgs/development/libraries/boost/1.71.nix
+++ b/pkgs/development/libraries/boost/1.71.nix
@@ -5,7 +5,10 @@ callPackage ./generic.nix (args // rec {
 
   src = fetchurl {
     #url = "mirror://sourceforge/boost/boost_1_71_0.tar.bz2";
-    url = "https://dl.bintray.com/boostorg/release/1.71.0/source/boost_1_71_0.tar.bz2";
+    urls = [ 
+      "mirror://sourceforge/boost/boost_1_71_0.tar.bz2"
+      "https://dl.bintray.com/boostorg/release/1.71.0/source/boost_1_71_0.tar.bz2"
+    ];
     # SHA256 from http://www.boost.org/users/history/version_1_71_0.html
     sha256 = "d73a8da01e8bf8c7eda40b4c84915071a8c8a0df4a6734537ddde4a8580524ee";
   };