flex-2.5.35: switch source URL

vcunat · vcunat · commit 25c762f2bcca · 2017-07-30T09:46:13.000+02:00
diff --git a/pkgs/development/tools/parsing/flex/2.5.35.nix b/pkgs/development/tools/parsing/flex/2.5.35.nix
@@ -1,10 +1,12 @@
 { stdenv, fetchurl, bison, m4 }:
 
-stdenv.mkDerivation {
+stdenv.mkDerivation rec {
   name = "flex-2.5.35";
 
   src = fetchurl {
-    url = mirror://sourceforge/flex/flex-2.5.35.tar.bz2;
+    # Deleted from original SourceForge and GitHub only provides generated file.
+    # Note: binary cache still seems to serve it, too.
+    url = "http://downloads.openwrt.org/sources/${name}.tar.bz2";
     sha256 = "0ysff249mwhq0053bw3hxh58djc0gy7vjan2z1krrf9n5d5vvv0b";
   };
 
