55db7d98556b57984e566b69f3a92b3c5bb01ef52dd9f17ff214c2c72a0aee69 gnome-shell-3.4.2.news 3807f7882968d032f8f5c64b0e0af51c0d016f2e1c4fd1576203c9350e412720 gnome-shell-3.4.2.tar.xz