[Agda] [ANNOUNCE] Agda Standard Library v2.1 - release candidate 2

[mechvel at scico.botik.ru]

On 2024-07-11 06:30, Matthew Daggitt wrote:
> Dear all,
> 
> The Agda Team is pleased to announce the second release candidate for
> version 2.1 of the Agda standard library. The release candidate has
> been tested using Agda 2.6.4.3 and can be downloaded here [1]. We
> would be grateful for reports of any issues you may encounter with the
> new version of the library on the Github issues page [2].
> 

I have tested it on my large application on agda 2.6.4.3, MAlonzo; 
ghc-9.02, Debian Linux 10.
It does not show any deviation from old tests.

-- 
SM