2c636c82171c51ec1c793dc0ce6e9192e011ec57f635dce70c8d6bbeb1244c1e  gnome-shell-extensions-3.1.3.news
59a6d42f7bc761574870090350d613dcc055633610ddd3e1628ecf663c19b46f  gnome-shell-extensions-3.1.3.tar.bz2
8fd2e829e2f806434a68b638d784ec502829318b5b91011ae9f97069e882e833  gnome-shell-extensions-3.1.3.tar.xz