2cbe53c4ecc74d833701e1ac6901883cc53b965a593949b1362ada07a292539e gnome-shell-extensions-3.9.3.news 98118374d4f1ecaefd893c945c27be430f69a12eca95aeb0689b78a7eeae1223 gnome-shell-extensions-3.9.3.tar.xz