Jan Tojnar 21479050bc gnome.gnome-shell-extensions: 40.0 → 40.1 ...

Also clean up the expression:

- Remove spidermonkey dependency – it was only used for syntax checks and is not anymore (https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/commit/8fb5476a1cc58fec48bede4e407f03e19ce00bbf)
- Correct license
- Code formatting

2021-05-14 18:52:01 +02:00

..

default.nix

…

fix_gmenu.patch

…