guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#67473] [PATCH gnome-team v3 13/14] gnu: yelp-tools: Update to 42.1.


From: Maxim Cournoyer
Subject: [bug#67473] [PATCH gnome-team v3 13/14] gnu: yelp-tools: Update to 42.1.
Date: Sun, 03 Dec 2023 12:11:19 -0500
User-agent: Gnus/5.13 (Gnus v5.13)

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

> yelp-tools has changed its version scheme, so its download URL changed.
>
> * gnu/packages/gnome.scm (yelp-tools): Update to 42.1.
> [source]: Update origin uri.
> [build-system]: Change to meson-build-system.
> [#:configure-flags]: Set -Dhelp=true.
> [propagated-inputs]: Drop labels.
> [native-inputs]: Add gettext-minimal, python, python-lxml.

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

-- 
Thanks,
Maxim





reply via email to

[Prev in Thread] Current Thread [Next in Thread]