diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-08-06 16:20:35 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-03-07 13:42:30 +0100 |
| commit | 100f625b83e1c35626f9ec7990cd5897a4fdab1c (patch) | |
| tree | 25d3011a2165dc73837c8e5311f5b3ab390324cf | |
| parent | 4a3f6e02a1d427dc612abe80285d89c4164002eb (diff) | |
| download | patches-100f625b83e1c35626f9ec7990cd5897a4fdab1c.tar patches-100f625b83e1c35626f9ec7990cd5897a4fdab1c.tar.gz | |
gnu: gnome-shell-extensions: Update to 3.28.1.
* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.28.1.
[build-system]: Use meson-build-system.
[arguments]: Adjust.
| -rw-r--r-- | gnu/packages/gnome.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 58f6359382..d3dda882ca 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -6594,7 +6594,7 @@ GNOME Shell appearance and extension, etc.") (define-public gnome-shell-extensions (package (name "gnome-shell-extensions") - (version "3.24.3") + (version "3.28.1") (source (origin (method url-fetch) (uri (string-append "mirror://gnome/sources/" name "/" @@ -6602,10 +6602,10 @@ GNOME Shell appearance and extension, etc.") name "-" version ".tar.xz")) (sha256 (base32 - "0y8anpp9ymp0lxn15w63ra6zxxf8nvbl48xqkvqdjzida73fyz9w")))) - (build-system gnu-build-system) + "0n4h8rdnq3knrvlg6inrl62a73h20dbhfgniwy18572jicrh5ip9")))) + (build-system meson-build-system) (arguments - '(#:configure-flags '("--enable-extensions=all"))) + '(#:configure-flags '("-Dextension_set=all"))) (native-inputs `(("intltool" ,intltool) ("pkg-config" ,pkg-config))) |