From 8e9ead86569772a6572d4565370578910c4bd79a Mon Sep 17 00:00:00 2001
From: Vladimír Čunát <vcunat@gmail.com>
Date: Sun, 18 May 2014 13:25:43 +0200
Subject: berlios.de probably shut down, replace it

The shutdown was announced years ago, only now it stopped working.
---
 pkgs/games/super-tux/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pkgs/games/super-tux')

diff --git a/pkgs/games/super-tux/default.nix b/pkgs/games/super-tux/default.nix
index 945eaa7fbf88..72a894b63afb 100644
--- a/pkgs/games/super-tux/default.nix
+++ b/pkgs/games/super-tux/default.nix
@@ -10,7 +10,7 @@ stdenv.mkDerivation {
   name = "supertux-${version}";
 
   src = fetchurl {
-    url = "http://download.berlios.de/supertux/supertux-${version}.tar.bz2";
+    url = "mirror://sourceforge/supertux.berlios/supertux-${version}.tar.bz2";
     sha256 = "15xdq99jy4hayr96jpqcp15rbr9cs5iamjirafajcrkpa61mi4h0";
   };
 
-- 
cgit 1.4.1