e36d4ea68ea1b3305b8b24a237e8dd6f65ee992e840b0e3b1b80d298a6302f08 gnome-shell-3.12.1.news d5a475f390d992de03ccf8ffeafec90595da700594eba9fc0688cbb1652b5516 gnome-shell-3.12.1.tar.xz