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 #10 received at 58414-done <at> debbugs.gnu.org (full text, mbox):

From: Christopher Baines <mail <at> cbaines.net>
To: pukkamustard <pukkamustard <at> posteo.net>
Cc: 58414-done <at> debbugs.gnu.org
Subject: Re: [bug#58414] [PATCH] gnu: Update guile-eris to 1.0.0.
Date: Tue, 11 Oct 2022 12:10:24 +0100

[Message part 1 (text/plain, inline)]
pukkamustard <pukkamustard <at> posteo.net> writes:

> * gnu/packages/guile-xyz.scm (guile-eris): Update to 1.0.0.
> ---
>  gnu/packages/guile-xyz.scm | 19 ++++++++++---------
>  1 file changed, 10 insertions(+), 9 deletions(-)

Thanks, pushed to master as 59911ae29442aba18bcb53233e793d8f3d264504.

Chris

[signature.asc (application/pgp-signature, inline)]
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.