[Agda] [ ANNOUNCE ] Standard library v1.7 - release candidate 2

[Matthew Daggitt]

Dear all,
The Agda Team is pleased to announce the second release candidate for
version 1.7 of the standard library. The release candidate has been tested
using the second release candidate of Agda 2.6.2. The main difference
between this and the previous release candidate is that
Data.Container(.Indexed) no longer depends on guardedness or sized types
and hence is compatible with the --safe flag.

The release candidate can be downloaded here
<https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7-rc2.tar.gz>. 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 soon after the release of Agda 2.6.2.
Best wishes,
Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210609/5c721351/attachment.html>