diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2019-01-02 17:06:20 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2019-01-02 17:08:02 +0100 |
commit | de96413bbfc3deae4e81b48d7d973f836985c39c (patch) | |
tree | 6c697ec038aad9feda0fe22c87223e771449ccdf /pkgs/development | |
parent | f0c41f0bbf36b90b05349e5d4e13e7f33196ab17 (diff) | |
download | nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.gz nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.bz2 nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.lz nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.xz nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.tar.zst nixpkgs-de96413bbfc3deae4e81b48d7d973f836985c39c.zip |
doxygen: add sourceforge as mirror
It turns out the upstream URL is very slow (for me at least). We get caching through nixos.org, but this shouldn't hurt anyway.
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/tools/documentation/doxygen/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/development/tools/documentation/doxygen/default.nix b/pkgs/development/tools/documentation/doxygen/default.nix index 5ce4d12c85f..f590c3e5988 100644 --- a/pkgs/development/tools/documentation/doxygen/default.nix +++ b/pkgs/development/tools/documentation/doxygen/default.nix @@ -5,7 +5,10 @@ stdenv.mkDerivation rec { name = "doxygen-1.8.14"; src = fetchurl { - url = "http://doxygen.nl/files/${name}.src.tar.gz"; + urls = [ + "mirror://sourceforge/doxygen/${name}.src.tar.gz" # faster, with https, etc. + "http://doxygen.nl/files/${name}.src.tar.gz" + ]; sha256 = "d1757e02755ef6f56fd45f1f4398598b920381948d6fcfa58f5ca6aa56f59d4d"; }; |