gnu: gnome-shell-extensions: Update to 3.24.2.

* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.24.2.
This commit is contained in:
Marius Bakke 2017-05-24 19:55:57 +02:00
parent 2c2da7ec0c
commit a5b5fcaead
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 2 additions and 2 deletions

View File

@ -5617,7 +5617,7 @@ GNOME Shell appearance and extension, etc.")
(define-public gnome-shell-extensions (define-public gnome-shell-extensions
(package (package
(name "gnome-shell-extensions") (name "gnome-shell-extensions")
(version "3.22.2") (version "3.24.2")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnome/sources/" name "/" (uri (string-append "mirror://gnome/sources/" name "/"
@ -5625,7 +5625,7 @@ GNOME Shell appearance and extension, etc.")
name "-" version ".tar.xz")) name "-" version ".tar.xz"))
(sha256 (sha256
(base32 (base32
"11wa4f9arr89a4y8nsvla5j58dzwlawjb2q1lz0jn5i9kv324z6z")))) "10sg87wml5cmyk90pybnr6r942ba7173sl7yplhj2sfggp0wc74s"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
'(#:configure-flags '("--enable-extensions=all"))) '(#:configure-flags '("--enable-extensions=all")))