public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

flex-2.5.35: switch source URL

Browse Source
This commit is contained in:
Vladimír Čunát 2017-07-30 09:46:13 +02:00
parent 8977bee504
commit 25c762f2bc
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/tools/parsing/flex/2.5.35.nix
View File

@ -1,10 +1,12 @@
{ stdenv, fetchurl, bison, m4 }: { stdenv, fetchurl, bison, m4 }:
stdenv.mkDerivation { stdenv.mkDerivation rec {
name = "flex-2.5.35"; name = "flex-2.5.35";
src = fetchurl { 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"; sha256 = "0ysff249mwhq0053bw3hxh58djc0gy7vjan2z1krrf9n5d5vvv0b";
}; };