20302b8b025a80cb5b34754cd89bdd3161cbc463929fd103b895d4f2ae81f365  gnome-shell-extensions-3.7.2.news
9ba09fe036bde4888a187528fe0a239f85e818d853e311bea412ca5c1f31636e  gnome-shell-extensions-3.7.2.tar.xz