From cc1ea395807172b83698269198a4f7204a5e0166 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Mon, 19 Sep 2011 18:25:47 +0000
Subject: [PATCH] Added kernel.org mirror at tu-dresden.de to the list, which
 is currently reachable (unlike the kernel.org domain).

svn path=/nixpkgs/trunk/; revision=29359
---
 pkgs/build-support/fetchurl/mirrors.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/build-support/fetchurl/mirrors.nix b/pkgs/build-support/fetchurl/mirrors.nix
index 94624412d35..f5b94f3f0ff 100644
--- a/pkgs/build-support/fetchurl/mirrors.nix
+++ b/pkgs/build-support/fetchurl/mirrors.nix
@@ -97,6 +97,7 @@ rec {
     http://www.all.kernel.org/pub/
     http://www.eu.kernel.org/pub/
     http://www.de.kernel.org/pub/
+    http://ramses.wh2.tu-dresden.de/pub/mirrors/kernel.org/
   ];
 
   # Mirrors of ftp://ftp.kde.org/pub/kde/.