GNU bug report logs - #61915
[PATCH 0/4] Update Agda to 2.6.3

Previous Next

Full log

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

From: Josselin Poiret <dev <at> jpoiret.xyz>
To: Simon Tournier <zimon.toutoune <at> gmail.com>, 61915 <at> debbugs.gnu.org
Subject: Re: [bug#61915] [PATCH 0/4] Update Agda to 2.6.3
Date: Fri, 03 Mar 2023 17:24:27 +0100

[Message part 1 (text/plain, inline)]

Hi Simon,

Simon Tournier <zimon.toutoune <at> gmail.com> writes:

> Hi Josselin,
>
> It seems some duplicate work with #61848 [1] from Monday.
>
> Maybe the two series could be merged.  WDYT?

My bad, completely missed this one.  I'm not too familiar with the
reasonning behind keeping agda <at> 2.6.2 around in that other patchset, but
I'll have a look there soon.

Best,
-- 
Josselin Poiret

[signature.asc (application/pgp-signature, inline)]

Previous Next

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