[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/08: gnu: gnome-shell-extensions: Update to 3.24.3.
From: |
Tobias Geerinckx-Rice |
Subject: |
03/08: gnu: gnome-shell-extensions: Update to 3.24.3. |
Date: |
Tue, 12 Sep 2017 17:34:38 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit 9c2d0a1aa8759e315c0960f25ddd002e46e10928
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Mon Sep 11 22:03:18 2017 +0200
gnu: gnome-shell-extensions: Update to 3.24.3.
* gnu/packages/gnome.scm (gnome-shell-extensions): Update to 3.24.3.
---
gnu/packages/gnome.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 5267a4e..80e78d3 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")))
- branch master updated (790ba6d -> bbb1246), Tobias Geerinckx-Rice, 2017/09/12
- 01/08: gnu: gsettings-desktop-schemas: Update to 3.24.1., Tobias Geerinckx-Rice, 2017/09/12
- 02/08: gnu: gnome-settings-daemon: Update to 3.24.3., Tobias Geerinckx-Rice, 2017/09/12
- 04/08: gnu: tracker: Update to 1.12.3., Tobias Geerinckx-Rice, 2017/09/12
- 05/08: gnu: network-manager: Update to 1.8.2., Tobias Geerinckx-Rice, 2017/09/12
- 07/08: gnu: gtksourceview: Update to 3.24.4., Tobias Geerinckx-Rice, 2017/09/12
- 06/08: gnu: libpeas: Update to 1.22.0., Tobias Geerinckx-Rice, 2017/09/12
- 08/08: gnu: youtube-dl: Update to 2017.09.11., Tobias Geerinckx-Rice, 2017/09/12
- 03/08: gnu: gnome-shell-extensions: Update to 3.24.3.,
Tobias Geerinckx-Rice <=