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

* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.30.1.
master
Kei Kebreau 2019-07-05 01:00:08 -04:00
parent ef9b7d4c9f
commit 2aabc647f2
No known key found for this signature in database
GPG Key ID: E6A5EE3C19467A0D
1 changed files with 2 additions and 2 deletions

View File

@ -6882,7 +6882,7 @@ GNOME Shell appearance and extension, etc.")
(define-public gnome-shell-extensions
(package
(name "gnome-shell-extensions")
(version "3.28.1")
(version "3.30.1")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnome/sources/" name "/"
@ -6890,7 +6890,7 @@ GNOME Shell appearance and extension, etc.")
name "-" version ".tar.xz"))
(sha256
(base32
"0n4h8rdnq3knrvlg6inrl62a73h20dbhfgniwy18572jicrh5ip9"))))
"1grxn4f5x754r172wmnf0h0xpy69afmj359zsj1rwgqlzw4i4c5p"))))
(build-system meson-build-system)
(arguments
'(#:configure-flags '("-Dextension_set=all")))