Tor Hedin Brønner 18d7929e95 spidermonkey_52: drop, as is unused ... `gnome-shell-extensions` switched over to `spidermonkey_60` in 3.34 leaving `spidermonkey_52` unused.		2019-10-16 16:53:19 +02:00
..
1.8.5-arm-flags.patch
1.8.5-findvanilla.patch
1.8.5.nix
38.nix
60.nix