[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#67473] [PATCH gnome-team v5 18/19] gnu: yelp-tools: Update to 42.1.
|
From: |
Maxim Cournoyer |
|
Subject: |
[bug#67473] [PATCH gnome-team v5 18/19] gnu: yelp-tools: Update to 42.1. |
|
Date: |
Fri, 08 Dec 2023 17:09:49 -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.
>
> Change-Id: Ibc091329275959219fdcb1af47d34e40128da889
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail>
--
Thanks,
Maxim