diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-09-11 22:03:18 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-09-12 23:36:22 +0200 |
commit | 9c2d0a1aa8759e315c0960f25ddd002e46e10928 (patch) | |
tree | 2cfa0b2ca058363367ce732cfbb8df64a9878861 | |
parent | bd38e6a560f8046ed0b267ba97b39aa7ba6c1eeb (diff) | |
download | patches-9c2d0a1aa8759e315c0960f25ddd002e46e10928.tar patches-9c2d0a1aa8759e315c0960f25ddd002e46e10928.tar.gz |
gnu: gnome-shell-extensions: Update to 3.24.3.
* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.24.3.
-rw-r--r-- | gnu/packages/gnome.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 5267a4eb87..80e78d3401 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -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"))) |