[PATCH gnome-team] gnu: yelp: Update to 42.2.

  • Done
  • quality assurance status badge
Details
2 participants
  • Maxim Cournoyer
  • Vivien Kraus
Owner
unassigned
Submitted by
Vivien Kraus
Severity
normal
V
V
Vivien Kraus wrote on 26 Nov 2023 19:00
(address . guix-patches@gnu.org)
04abda2dbf85355457ba395737c7bd2e4a8750b4.1701048931.git.vivien@planete-kraus.eu
* gnu/packages/gnome.scm (yelp): Update to 42.2.
[inputs]: Add bash-minimal and gtk+. Replace webkitgtk with
webkitgtk-for-gtk3.

Change-Id: Iea3fa0c9eb527b0de691809a19fce7654261e827
---
gnu/packages/gnome.scm | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)

Toggle diff (44 lines)
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index d354327497..d3c892fc22 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -7309,7 +7309,7 @@ (define-public yelp-xsl
(define-public yelp
(package
(name "yelp")
- (version "42.1")
+ (version "42.2")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnome/sources/" name "/"
@@ -7317,7 +7317,7 @@ (define-public yelp
name "-" version ".tar.xz"))
(sha256
(base32
- "0h9vf4fx056imjf8ibmn03wg1c3hniipy1nsm2jqi62lp1m19c95"))))
+ "0jxckvzmp3lzg62wrdp7f3c8hw6zbkwd0sy65ir9q259hw3zvid2"))))
(build-system glib-or-gtk-build-system)
(arguments
(list #:phases
@@ -7349,13 +7349,15 @@ (define-public yelp
(propagated-inputs
(list dconf))
(inputs
- (list gsettings-desktop-schemas
+ (list bash-minimal
+ gsettings-desktop-schemas
libhandy
libxslt
man-db ;for URIs like "man:ls"
groff-minimal ;ditto
+ gtk+
sqlite
- webkitgtk
+ webkitgtk-for-gtk3
yelp-xsl))
(home-page "https://wiki.gnome.org/Apps/Yelp")
(synopsis "GNOME help browser")

base-commit: e21f0cb7b7a87992004193cd56638ad961fe5928
--
2.41.0
M
M
Maxim Cournoyer wrote on 4 Dec 2023 02:12
(name . Vivien Kraus)(address . vivien@planete-kraus.eu)
87r0k2u5xq.fsf@gmail.com
Hello,

Vivien Kraus <vivien@planete-kraus.eu> writes:

Toggle quote (6 lines)
> * gnu/packages/gnome.scm (yelp): Update to 42.2.
> [inputs]: Add bash-minimal and gtk+. Replace webkitgtk with
> webkitgtk-for-gtk3.
>
> Change-Id: Iea3fa0c9eb527b0de691809a19fce7654261e827

Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>

--
Thanks,
Maxim
V
V
Vivien Kraus wrote on 5 Dec 2023 18:42
Applied, closing
(address . 67472-done@debbugs.gnu.org)
cd7eb24e27a18dce3dd26717df29fa688941274b.camel@planete-kraus.eu
Applied, closing.
Closed
?