From 82ab76474d73a9c3e2d5b4ca8600e1f23885d277 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= Date: Thu, 28 Apr 2016 10:21:25 +0800 Subject: [PATCH] gnu: gnome-shell: Update to 3.20.1. * gnu/packages/gnome.scm (gnome-shell): Update to 3.20.1. --- gnu/packages/gnome.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 2d43ac03da..1b6b165316 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4594,7 +4594,7 @@ properties, screen resolution, and other GNOME parameters.") (define-public gnome-shell (package (name "gnome-shell") - (version "3.20.0") + (version "3.20.1") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -4602,7 +4602,7 @@ properties, screen resolution, and other GNOME parameters.") name "-" version ".tar.xz")) (sha256 (base32 - "125qjrbw40r8rpri9y0yrl5yqs2q4x0l5inzi3vwl0rxvmhz8sgf")))) + "08cgbr15cim3rgcngrv98rm48pkdxwj4nqx5za1lsnv376m4x5bs")))) (build-system glib-or-gtk-build-system) (arguments '(#:phases