GNU bug report logs -
#67472
[PATCH gnome-team] gnu: yelp: Update to 42.2.
Previous Next
Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>
Date: Mon, 27 Nov 2023 01:37:01 UTC
Severity: normal
Tags: patch
Done: Vivien Kraus <vivien <at> planete-kraus.eu>
Bug is archived. No further changes may be made.
Full log
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
* 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(-)
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
This bug report was last modified 1 year and 260 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.