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.
2019-01-02 17:06:20 +01:00
parent f0c41f0bbf
commit de96413bbf
1 changed files with 4 additions and 1 deletions
--- 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";
  };