../ LATEST-IS-3.12.0 25-Mar-2014 16:51 206712 LATEST-IS-3.12.2 14-May-2014 09:12 211876 gnome-shell-extensions-3.12.0.news 25-Mar-2014 16:51 53 gnome-shell-extensions-3.12.0.sha256sum 25-Mar-2014 16:51 204 gnome-shell-extensions-3.12.0.tar.xz 25-Mar-2014 16:51 206712 gnome-shell-extensions-3.12.2.news 14-May-2014 09:12 342 gnome-shell-extensions-3.12.2.sha256sum 14-May-2014 09:12 204 gnome-shell-extensions-3.12.2.tar.xz 14-May-2014 09:12 211876