[Agda] [ANNOUNCE] Agda Standard Library Version 2.1.1 - Release Candidate 2

[Matthew Daggitt]

Dear all,

Hot on the heels of the first release candidate, the Agda Team is
pleased to announce the second release candidate for version 2.1.1 of
the Agda standard library. The release candidate has been tested using
Agda 2.7.0 and can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v2.1.1-rc2.zip>. We would
be grateful for reports of any issues you may encounter with the new
version of the library on the Github issues page
<https://github.com/agda/agda-stdlib/issues>.

This is a simple compatibility release to add support for Agda 2.7.0 and
there are no other major changes. Also fixed a minor bug found in the first
release candidate.

If there are no issues found, we plan to make the official release next week.

Best wishes,

Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240820/08621fca/attachment.html>