bug#67472: closed ([PATCH gnome-team] gnu: yelp: Update to 42.2.)

[GNU bug Tracking System]

Your message dated Tue, 05 Dec 2023 18:42:26 +0100
with message-id 
<cd7eb24e27a18dce3dd26717df29fa688941274b.camel@planete-kraus.eu>
and subject line Applied, closing
has caused the debbugs.gnu.org bug report #67472,
regarding [PATCH gnome-team] gnu: yelp: Update to 42.2.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
67472: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67472
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: yelp: Update to 42.2.
>
>
>
>
> Date: 
>
> Sun, 26 Nov 2023 19:00:19 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> * 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Applied, closing
>
>
>
>
> Date: 
>
> Tue, 05 Dec 2023 18:42:26 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> Applied, closing.
>
>
> --- End Message ---