195e0b4cf1c0840412810f1272a1aa2c0e869d09116af5dcad7fbca5cfcd4a4a gnome-shell-extensions-3.0.2.news adb66dd0716ed60fff6cde7eddbac5118237be5d39beb79589beaa23b5de25f1 gnome-shell-extensions-3.0.2.tar.bz2 db9572340440bc15cbdaeb27f224d2a62d92b73126110e9c798e060ba960909c gnome-shell-extensions-3.0.2.tar.gz