[Agda] [ ANNOUNCE ] Standard library v1.7.2 - release candidate 1

Matthew Daggitt matthewdaggitt at gmail.com
Mon Nov 7 02:32:07 CET 2022

Dear all,

The Agda Team is pleased to announce the first release candidate for
version 1.7.2 of the standard library. The release candidate has been
tested using the first release candidate of Agda 2.6.3. This release
provides compatibility with Agda 2.6.3 but does not include
significant new features.

The release candidate can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v1.7.2-rc1.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

If no major issues are found we will aim to release the official
version 1.7.2 soon after the release of Agda 2.6.3.

Best wishes,

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

More information about the Agda mailing list