diff options
author | Benjamin Hipple <bhipple@protonmail.com> | 2018-12-08 09:39:05 -0500 |
---|---|---|
committer | Renaud <c0bw3b@users.noreply.github.com> | 2018-12-08 15:39:05 +0100 |
commit | 8dbc8e586cc0704b2801d511a3c02db133ff78a6 (patch) | |
tree | 9836e17b6a6df89d5b4861aeb0bdb520de95f44c /pkgs/build-support/fetchurl | |
parent | 8dc30f62722944d950844d0e026225cc0c75ebb0 (diff) | |
download | nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.tar nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.tar.gz nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.tar.bz2 nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.tar.lz nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.tar.xz nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.tar.zst nixpkgs-8dbc8e586cc0704b2801d511a3c02db133ff78a6.zip |
fetchurl: refresh and add extra KDE mirrors
* fetchurl: fix and add extra KDE mirrors (#51480) - The gwdg.de mirror has moved the relative path of its KDE tarballs - Add new mirrors from Berkeley and MIT, which are on the list of officially supported mirrors https://download.kde.org/extra/download-mirrors.html * More KDE mirror touchups - The official one is a redirect to HTTPS anyways, so go directly to HTTPS - Add China USTC for Asian users - Swap Finland university from FTP to HTTP * fetchurl: keep one ftp KDE mirror
Diffstat (limited to 'pkgs/build-support/fetchurl')
-rw-r--r-- | pkgs/build-support/fetchurl/mirrors.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/build-support/fetchurl/mirrors.nix b/pkgs/build-support/fetchurl/mirrors.nix index 852c797a386..2d29728dd95 100644 --- a/pkgs/build-support/fetchurl/mirrors.nix +++ b/pkgs/build-support/fetchurl/mirrors.nix @@ -70,13 +70,15 @@ rec { ftp://ftp.funet.fi/pub/mirrors/ftp.kernel.org/pub/ ]; - # Mirrors of ftp://ftp.kde.org/pub/kde/. + # Mirrors from https://download.kde.org/extra/download-mirrors.html kde = [ - "http://download.kde.org/download.php?url=" - http://ftp.gwdg.de/pub/x11/kde/ - ftp://ftp.heanet.ie/mirrors/ftp.kde.org/ + "https://download.kde.org/download.php?url=" + https://ftp.gwdg.de/pub/linux/kde/ + https://mirrors.ocf.berkeley.edu/kde/ + http://mirrors.mit.edu/kde/ + https://mirrors.ustc.edu.cn/kde/ + http://ftp.funet.fi/pub/mirrors/ftp.kde.org/pub/kde/ ftp://ftp.kde.org/pub/kde/ - ftp://ftp.funet.fi/pub/mirrors/ftp.kde.org/pub/kde/ ]; # Gentoo files. |