diff options
| author | Vladimír Čunát | 2019-01-02 17:06:20 +0100 |
|---|---|---|
| committer | Vladimír Čunát | 2019-01-02 17:08:02 +0100 |
| commit | de96413bbfc3deae4e81b48d7d973f836985c39c (patch) | |
| tree | 6c697ec038aad9feda0fe22c87223e771449ccdf /pkgs/development/tools/documentation | |
| parent | f0c41f0bbf36b90b05349e5d4e13e7f33196ab17 (diff) | |
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/tools/documentation')
| -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 5ce4d12c85f8..f590c3e5988a 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"; }; |