GNU bug report logs - #68047
[PATCH] gnu: agda: Update to 2.6.4.1.

Previous Next

Package: guix-patches;

Reported by: Josselin Poiret <dev <at> jpoiret.xyz>

Date: Tue, 26 Dec 2023 17:58:03 UTC

Severity: normal

Tags: patch

Done: Steve George <steve <at> futurile.net>

Bug is archived. No further changes may be made.

Full log

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

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Josselin Poiret <dev <at> jpoiret.xyz>
Cc: 68047 <at> debbugs.gnu.org
Subject: Re: [bug#68047] [PATCH] gnu: agda: Update to 2.6.4.1.
Date: Wed, 27 Dec 2023 21:39:27 +0100

> * gnu/packages/agda.scm (agda): Update to 2.6.4.1.

Looks good! I think you can directly proceed for those trivial updates.

Thanks,

Mathieu
This bug report was last modified 296 days ago.

Previous Next

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