<div dir="ltr"><p style="margin:3px 0px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Dear all,<br>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 <code style="padding:0px 4px;font-family:"Source Code Pro",monospace;font-size:0.825em;color:rgb(0,0,0);border-radius:3px;border:1px solid rgb(225,225,232);white-space:pre-wrap;unicode-bidi:embed;direction:ltr">Data.Container(.Indexed)</code> no longer depends on guardedness or sized types and hence is compatible with the <code style="padding:0px 4px;font-family:"Source Code Pro",monospace;font-size:0.825em;color:rgb(0,0,0);border-radius:3px;border:1px solid rgb(225,225,232);white-space:pre-wrap;unicode-bidi:embed;direction:ltr">--safe</code> flag.</p><p style="margin:10px 0px 3px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">The release candidate can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7-rc2.tar.gz" target="_blank" rel="noopener noreferrer" title="https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7-rc2.tar.gz" style="color:rgb(0,136,204);text-decoration-line:none">here</a>. We would be grateful for reports of any issues you may encounter with the new version of the library on the Github issues page.</p><p style="margin:10px 0px 3px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">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.<br>Best wishes,<br>Matthew, on behalf of the Agda Team</p></div>