Merge pull request #63153 from flokli/mingwrt-src

windows.mingwrt: fix src url
This commit is contained in:
Graham Christensen 2019-06-15 09:03:45 -04:00 committed by GitHub
commit d925731a17
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,8 +4,8 @@ stdenv.mkDerivation rec {
name = "mingwrt-5.0.2"; name = "mingwrt-5.0.2";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/mingw/MinGW/Base/mingw-rt/${name}-mingw32-src.tar.gz"; url = "mirror://sourceforge/mingw/MinGW/Base/mingwrt/${name}/${name}-mingw32-src.tar.xz";
sha256 = "02pydg1m8y35nxb4k34nlb5c341y2waq76z42mgdzlcf661r91p0"; sha256 = "1vj6f578wcffdmy7zzf7xz1lw57kxjy08j0k1n28f0j4ylrk68vp";
}; };
meta = { meta = {