3eb96c4511b2d97875995261d728e84792185f70cecc7bc42337ff0873dcd3b8 gnome-shell-extensions-3.18.0.news a5fb88004b021e4a16f4fa5eb3d7d6f0903db1288023c18c0f9825152fa0f5f7 gnome-shell-extensions-3.18.0.tar.xz