bug#56734: closed ([PATCH: gnu: guile-lens: fix build.)

[GNU bug Tracking System]

Your message dated Mon, 01 Aug 2022 11:34:45 +0200
with message-id <87edy01f4a.fsf@gnu.org>
and subject line Re: bug#56734: [PATCH: gnu: guile-lens: fix build.
has caused the debbugs.gnu.org bug report #56734,
regarding [PATCH: gnu: guile-lens: fix build.
to be marked as done.

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


-- 
56734: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56734
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH: gnu: guile-lens: fix build. Date: Sun, 24 Jul 2022 19:38:59 +0800 User-agent: mu4e 1.6.11; emacs 29.0.50

0001-gnu-gulie-lens-Fix-build.patch
Description: Text Data

-- 
over

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56734: [PATCH: gnu: guile-lens: fix build.
>
>
>
>
> Date: 
>
> Mon, 01 Aug 2022 11:34:45 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Hi,
>
> Z572 <873216071@qq.com> skribis:
>
> >>From b86533a7b8d34ff3fbc80a335f742d6a7333d1c3 Mon Sep 17 00:00:00 2001
> > Message-Id: 
> > <b86533a7b8d34ff3fbc80a335f742d6a7333d1c3.1658662717.git.873216071@qq.com>
> > From: Z572 <873216071@qq.com>
> > Date: Sun, 24 Jul 2022 19:34:31 +0800
> > Subject: [PATCH] gnu: gulie-lens: Fix build.
> >
> > * gnu/packages/guile-xyz.scm (guile-lens)
> > [phases]{run-hall}: replace "dist" to "build-system".
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---