Maciej Krüger 946369adbd spidermonkey: remove spidermonkey_38 -> spidermonkey alias ... This removes the spidermonkey alias and renames it in the packages still using it Not sure if we need it in aliases.nix since just about nothing depends on it anymore Additionally considering removal should be a good choice, it's at least insecure so it should get tagged as such		2020-10-01 10:00:22 +02:00
..
debian-patches.nix	elinks: 0.12pre6 -> 0.13.2 (felinks fork)	2020-06-29 00:35:29 +02:00
debian-patches.txt	elinks: 0.12pre6 -> 0.13.2 (felinks fork)	2020-06-29 00:35:29 +02:00
default.nix	spidermonkey: remove spidermonkey_38 -> spidermonkey alias	2020-10-01 10:00:22 +02:00