[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66775: [PATCH 0/6] Update Agda and libraries to 2.6.4
|
From: |
Josselin Poiret |
|
Subject: |
bug#66775: [PATCH 0/6] Update Agda and libraries to 2.6.4 |
|
Date: |
Tue, 14 Nov 2023 14:13:34 +0100 |
Hi,
Josselin Poiret <dev@jpoiret.xyz> writes:
> Small patchset, just updating Agda to the latest release. All libraries
> should
> work with this.
Merged with bd0f2173210416e86281c1de8789e7cdab66dd57. Closing.
Best,
--
Josselin Poiret
signature.asc
Description: PGP signature
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#66775: [PATCH 0/6] Update Agda and libraries to 2.6.4,
Josselin Poiret <=