[bug#61915] [PATCH 0/4] Update Agda to 2.6.3

[Josselin Poiret]

Hi Simon,

Simon Tournier <zimon.toutoune@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@2.6.2 around in that other patchset, but
I'll have a look there soon.

Best,
-- 
Josselin Poiret

signature.asc
Description: PGP signature