Merge pull request #42837 from ookhoi/anonscm.debian.org_gcc6.patch-not-found

anonscm.debian.org_gcc6.patch-not-found - replace anonscm.debian.org …
This commit is contained in:
Matthew Bauer 2018-07-01 15:08:53 -04:00 committed by GitHub
commit 49f6ea40b0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,7 +25,7 @@ stdenv.mkDerivation rec {
patches = [
(fetchpatch {
name = "gcc6.patch";
url = "https://anonscm.debian.org/cgit/collab-maint/mozjs.git/plain/debian/patches/fix-811665.patch?id=00b15c7841968ab4f7fec409a6b93fa5e1e1d32e";
url = "https://sources.debian.org/data/main/m/mozjs/1.8.5-1.0.0+dfsg-6/debian/patches/fix-811665.patch";
sha256 = "1q8477xqxiy5d8376k5902l45gd0qkd4nxmhl8vr6rr1pxfcny99";
})
] ++ stdenv.lib.optionals stdenv.isAarch32 [