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

* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 40.4.
[source]: Fix the uri.
This commit is contained in:
Mathieu Othacehe 2021-09-22 18:02:59 +00:00
parent e70fbc7148
commit 39e68519d6
No known key found for this signature in database
GPG key ID: 8354763531769CA6

View file

@ -9799,15 +9799,15 @@ (define-public gnome-tweaks
(define-public gnome-shell-extensions (define-public gnome-shell-extensions
(package (package
(name "gnome-shell-extensions") (name "gnome-shell-extensions")
(version "3.34.2") (version "40.4")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnome/sources/" name "/" (uri (string-append "mirror://gnome/sources/" name "/"
(version-major+minor version) "/" (version-major version) "/"
name "-" version ".tar.xz")) name "-" version ".tar.xz"))
(sha256 (sha256
(base32 (base32
"1f5l35l3kdkzrv49xmg1sh11vwmgjbg7hx3gb91i39bfl1snxqd1")))) "0yfd1bcwf72dmr1hfh7g8s5cb7snyiyg86575hqx1frbq914q7gm"))))
(build-system meson-build-system) (build-system meson-build-system)
(arguments (arguments
'(#:configure-flags '("-Dextension_set=all"))) '(#:configure-flags '("-Dextension_set=all")))