<div dir="ltr"><div dir="ltr"><p>Apologies, it has been pointed out that the links in the previous email accidentally pointed to the 1st release candidate and not the official release. The corrected links are below:</p>
<p>> The Agda Team is pleased to announce the release of
version 2.2 of the Agda standard library. The release has been
 tested using Agda 2.7.0 and 2.7.0.1 and can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/refs/tags/v2.2.zip">here</a>. The CHANGELOG is available <a href="https://github.com/agda/agda-stdlib/blob/v2.2/CHANGELOG.md">here</a>.<br></p>

<p>Best wishes,</p>
<p>Matthew, on behalf of the Agda Team</p></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Thu, Jan 16, 2025 at 3:37 AM <<a href="mailto:mechvel@scico.botik.ru">mechvel@scico.botik.ru</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2025-01-15 04:58, Matthew Daggitt wrote:<br>
> Dear all,<br>
> <br>
> The Agda Team is pleased to announce the release of version 2.2 of the<br>
> Agda standard library. The release has been tested using Agda 2.7.0<br>
> and 2.7.0.1 and can be downloaded here [1]. The CHANGELOG is available<br>
> here [2].<br>
<br>
Setting the pointer at "here" shows the URL ".../v2.2-rc1",<br>
but clicking at it downloads the file that has name "...2.2.zip".<br>
I doubt a bit about what people would think about the name <br>
".../v2.2-rc1".<br>
<br>
Regards,<br>
<br>
------<br>
Sergei<br>
</blockquote></div>