Orivej Desh ceed4b2d12 spidermonkey: replace broken links ... people.mozilla.org is gone		2017-11-17 11:04:28 +00:00
..
1.8.5-arm-flags.patch
1.8.5-findvanilla.patch
1.8.5.nix
17.nix
31.nix	spidermonkey: replace broken links	2017-11-17 11:04:28 +00:00
38.nix	spidermonkey: replace broken links	2017-11-17 11:04:28 +00:00
52.nix
aarch64-48bit-va-fix.patch
aarch64-double-conversion.patch