GNU bug report logs - #58414
[PATCH] gnu: Update guile-eris to 1.0.0.

Previous Next

Package: guix-patches;

Reported by: pukkamustard <pukkamustard <at> posteo.net>

Date: Mon, 10 Oct 2022 15:09:02 UTC

Severity: normal

Tags: patch

Done: Christopher Baines <mail <at> cbaines.net>

Bug is archived. No further changes may be made.

Full log

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

From: pukkamustard <pukkamustard <at> posteo.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 58414 <at> debbugs.gnu.org
Subject: Re: bug#58414: [PATCH] gnu: Update guile-eris to 1.0.0.
Date: Tue, 11 Oct 2022 19:15:27 +0000

Ludovic Courtès <ludo <at> gnu.org> writes:

> Congrats on 1 point 0!  :-)

Thanks!

> I feel bad for dropping the ball but I hope we can follow up on your
> work on substitute distribution at
> <https://issues.guix.gnu.org/52555#8>.

No need to feel bad. On the contrary, thank you for your support and
valuable feedback on previous versions. An updated to #52555 is already
in progress. Work is going slowly, but steadily and I hope to send in an
update in a couple of weeks.

-pukkamustard
This bug report was last modified 2 years and 216 days ago.

Previous Next

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