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

* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.24.3.
This commit is contained in:
Tobias Geerinckx-Rice 2017-09-11 22:03:18 +02:00
parent bd38e6a560
commit 9c2d0a1aa8
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 2 additions and 2 deletions

View File

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