* Rewrite all the SourceForge URLs to mirror://sourceforge/.

  find . -name "*.nix" | while read fn; do sed 's^http://[a-z]*.dl.sourceforge.net/sourceforge/^mirror://sourceforge/^g' < $fn > $fn.new; mv $fn.new $fn; done

svn path=/nixpkgs/trunk/; revision=9198

1 files changed, 3 insertions, 3 deletions

diff --git a/pkgs/games/exult/default.nix b/pkgs/games/exult/default.nix
index 3df49cf5085..93980504440 100644
--- a/pkgs/games/exult/default.nix
+++ b/pkgs/games/exult/default.nix
@@ -5,7 +5,7 @@ stdenv.mkDerivation {
   builder = ./builder.sh;
   
   src = fetchurl {
-    url = http://surfnet.dl.sourceforge.net/sourceforge/exult/exult-1.2.tar.gz;
+    url = mirror://sourceforge/exult/exult-1.2.tar.gz;
     md5 = "0fc88dee74a91724d25373ba0a8670ba";
   };
 
@@ -17,11 +17,11 @@ stdenv.mkDerivation {
   # we don't need actual MIDI playback capability.
   musicFiles = [
     (fetchurl {
-      url = http://surfnet.dl.sourceforge.net/sourceforge/exult/U7MusicOGG_1of2.zip;
+      url = mirror://sourceforge/exult/U7MusicOGG_1of2.zip;
       md5 = "7746d1a9164fd67509107797496553bf";
     })
     (fetchurl {
-      url = http://surfnet.dl.sourceforge.net/sourceforge/exult/U7MusicOGG_2of2.zip;
+      url = mirror://sourceforge/exult/U7MusicOGG_2of2.zip;
       md5 = "cdae5956d7c52f35e90317913a660123";
     })
   ];