diff options
author | 宋文武 <iyzsong@gmail.com> | 2016-04-07 10:44:32 +0800 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-04-16 11:46:50 +0200 |
commit | 133e43db809186348f44ba3e3ba990f3d408ccc0 (patch) | |
tree | b8e5b7950796e0dec12572dd0bfec07a3e20ea66 /gnu/packages | |
parent | 0dc31a81f3e56da84774b812928224583dc62a32 (diff) | |
download | patches-133e43db809186348f44ba3e3ba990f3d408ccc0.tar patches-133e43db809186348f44ba3e3ba990f3d408ccc0.tar.gz |
gnu: gnome-shell: Update to 3.20.0.
* gnu/packages/gnome.scm (gnome-shell): Update to 3.20.0.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/gnome.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index ae9d54f88b..e5359fe9de 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4584,7 +4584,7 @@ properties, screen resolution, and other GNOME parameters.") (define-public gnome-shell (package (name "gnome-shell") - (version "3.18.3") + (version "3.20.0") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -4592,7 +4592,7 @@ properties, screen resolution, and other GNOME parameters.") name "-" version ".tar.xz")) (sha256 (base32 - "16sicxdp08yfaj4hiyzvbspb5jk3fpmi291272zhx5vgc3wbl5w5")))) + "125qjrbw40r8rpri9y0yrl5yqs2q4x0l5inzi3vwl0rxvmhz8sgf")))) (build-system glib-or-gtk-build-system) (arguments '(#:phases |