[Agda] [ANNOUNCE] Agda Standard Library Version 2.2

[Matthew Daggitt]

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:

> 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 here
<https://github.com/agda/agda-stdlib/archive/refs/tags/v2.2.zip>. The
CHANGELOG is available here
<https://github.com/agda/agda-stdlib/blob/v2.2/CHANGELOG.md>.

Best wishes,

Matthew, on behalf of the Agda Team

On Thu, Jan 16, 2025 at 3:37 AM <mechvel at scico.botik.ru> wrote:

> On 2025-01-15 04:58, Matthew Daggitt wrote:
> > Dear all,
> >
> > 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 here [1]. The CHANGELOG is available
> > here [2].
>
> Setting the pointer at "here" shows the URL ".../v2.2-rc1",
> but clicking at it downloads the file that has name "...2.2.zip".
> I doubt a bit about what people would think about the name
> ".../v2.2-rc1".
>
> Regards,
>
> ------
> Sergei
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250116/ff4cd1b4/attachment.html>