diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-05-24 19:53:21 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-05-24 23:22:39 +0200 |
| commit | ce1e6de0763a148ed4fe7e0a455831d2f5973ac3 (patch) | |
| tree | db2f0d4eaffc52b07346734b4dc712ae3ce3f45d /gnu/packages/gnome.scm | |
| parent | ac8f1ce477fa806a43507293595e3c89003129ef (diff) | |
| download | guix-ce1e6de0763a148ed4fe7e0a455831d2f5973ac3.tar guix-ce1e6de0763a148ed4fe7e0a455831d2f5973ac3.tar.gz | |
gnu: gnome-shell: Update to 3.24.2.
* gnu/packages/patches/gnome-shell-CVE-2017-8288.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/gnome.scm (gnome-shell): Update to 3.24.2.
[source]: Remove patch.
Diffstat (limited to 'gnu/packages/gnome.scm')
| -rw-r--r-- | gnu/packages/gnome.scm | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 14101c8d36..4123cdf097 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -4990,16 +4990,15 @@ properties, screen resolution, and other GNOME parameters.") (define-public gnome-shell (package (name "gnome-shell") - (version "3.22.2") + (version "3.24.2") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" (version-major+minor version) "/" name "-" version ".tar.xz")) - (patches (search-patches "gnome-shell-CVE-2017-8288.patch")) (sha256 (base32 - "16smvjfrpyfphv479hjky5261hgl4kli4q86bcb2b8xdcav4w3yq")))) + "1xp2ccmdrvzlczsrcplykwqwx2v4lbmkr0rxyylb06danlw9mivh")))) (build-system glib-or-gtk-build-system) (arguments '(#:phases |