[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
61/77: gnu: gnome-shell-extensions: Update to 3.28.1.
From: |
Ricardo Wurmus |
Subject: |
61/77: gnu: gnome-shell-extensions: Update to 3.28.1. |
Date: |
Mon, 6 Aug 2018 14:29:25 -0400 (EDT) |
rekado pushed a commit to branch wip-gnome-upgrades
in repository guix.
commit bdb30d9a50e52d3d6f254e38c5e8c56e424b54ad
Author: Ricardo Wurmus <address@hidden>
Date: Mon Aug 6 16:20:35 2018 +0200
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.
---
gnu/packages/gnome.scm | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index a0236e4..9f30dd2 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -6451,7 +6451,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 "/"
@@ -6459,10 +6459,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)))
- 52/77: gnu: gnome-session: Update to 3.28.1., (continued)
- 52/77: gnu: gnome-session: Update to 3.28.1., Ricardo Wurmus, 2018/08/06
- 51/77: gnu: network-manager: Update to 1.10.10., Ricardo Wurmus, 2018/08/06
- 56/77: gnu: python-pyatspi: Update to 2.26.0., Ricardo Wurmus, 2018/08/06
- 59/77: gnu: gnome-calculator: Update to 3.28.2., Ricardo Wurmus, 2018/08/06
- 55/77: gnu: gspell: Update to 1.8.1., Ricardo Wurmus, 2018/08/06
- 60/77: gnu: libgnomekbd: Update to 3.26.0., Ricardo Wurmus, 2018/08/06
- 58/77: gnu: gucharmap: Update to 10.0.4., Ricardo Wurmus, 2018/08/06
- 65/77: gnu: gnome-clocks: Update to 3.28.0., Ricardo Wurmus, 2018/08/06
- 66/77: gnu: gnome-screenshot: Update to 3.26.0., Ricardo Wurmus, 2018/08/06
- 57/77: gnu: gnome-system-monitor: Update to 3.28.2., Ricardo Wurmus, 2018/08/06
- 61/77: gnu: gnome-shell-extensions: Update to 3.28.1.,
Ricardo Wurmus <=
- 63/77: gnu: gnome-calendar: Update to 3.28.2., Ricardo Wurmus, 2018/08/06
- 69/77: gnu: nautilus: Update to 3.28.1., Ricardo Wurmus, 2018/08/06
- 62/77: gnu: Add libdazzle., Ricardo Wurmus, 2018/08/06
- 68/77: gnu: gnome-bluetooth: Update to 3.28.0., Ricardo Wurmus, 2018/08/06
- 72/77: gnu: gdm: Update to 3.28.2., Ricardo Wurmus, 2018/08/06
- 64/77: gnu: gnome-todo: Update to 3.28.1., Ricardo Wurmus, 2018/08/06
- 76/77: gnu: network-manager-applet: Update to 1.8.14., Ricardo Wurmus, 2018/08/06
- 75/77: gnu: network-manager-openvpn: Update to 1.8.4., Ricardo Wurmus, 2018/08/06
- 77/77: gnu: dconf-editor: Update to 3.28.0., Ricardo Wurmus, 2018/08/06
- 73/77: gnu: evolution-data-server: Update to 3.28.3., Ricardo Wurmus, 2018/08/06