diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2016-02-07 13:18:48 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2016-02-07 13:21:18 +0100 |
commit | 1e04d875db7b16348318f53589e92b190e9322ce (patch) | |
tree | 73d433a3d3a4cfd5cd27baec8f940d426c643d49 /pkgs/development/libraries/x265 | |
parent | a538959ca07de128369fcde3e15fdafc9feba863 (diff) |
videolan.org sources: prefer http://get.videolan.org
Some of the original URLs were broken now.
It seems that set of mirrors is preferred and faster than the others.
In the x264 case the source isn't there so http://download.videolan.org
is used instead.
Diffstat (limited to 'pkgs/development/libraries/x265')
-rw-r--r-- | pkgs/development/libraries/x265/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/development/libraries/x265/default.nix b/pkgs/development/libraries/x265/default.nix index 1598fec61948..1473910e004f 100644 --- a/pkgs/development/libraries/x265/default.nix +++ b/pkgs/development/libraries/x265/default.nix @@ -19,7 +19,10 @@ stdenv.mkDerivation rec { version = "1.7"; src = fetchurl { - url = "https://github.com/videolan/x265/archive/${version}.tar.gz"; + urls = [ + "http://get.videolan.org/x265/x265_${version}.tar.gz" + "https://github.com/videolan/x265/archive/${version}.tar.gz" + ]; sha256 = "18w3whmbjlalvysny51kdq9b228iwg3rdav4kmifazksvrm4yacq"; }; |