GNU bug report logs - #67473
[PATCH gnome-team 00/12] Hopefully the last world rebuild

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Mon, 27 Nov 2023 02:08:02 UTC

Severity: normal

Tags: patch

Merged with 67166, 67169, 67222, 67408, 67410, 67411, 67420, 67423, 67424, 67437

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #298 received at 67473 <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: rg <at> raghavgururajan.name, Liliana Marie Prikler <liliana.prikler <at> gmail.com>,
 67473 <at> debbugs.gnu.org
Subject: Re: [PATCH gnome-team v5 18/19] gnu: yelp-tools: Update to 42.1.
Date: Fri, 08 Dec 2023 17:09:49 -0500

Vivien Kraus <vivien <at> 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 <at> gmail>

-- 
Thanks,
Maxim
This bug report was last modified 1 year and 139 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.