<div dir="ltr">Dear all,<br><div><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, helvetica, sans-serif">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.</font></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><pre style="white-space:pre-wrap"><font face="arial, helvetica, sans-serif">The release candidate can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v1.7.2-rc1.zip" target="_blank">here</a>. We would be grateful for reports of any issues you may encounter with the new version of the library on the <a href="https://github.com/agda/agda-stdlib/issues" target="_blank">Github issues page</a>.</font></pre><pre style="white-space:pre-wrap"><font face="arial, sans-serif">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.</font></pre><pre style="white-space:pre-wrap"><pre style="white-space:pre-wrap"><font face="arial, sans-serif">Best wishes,</font></pre><pre style="white-space:pre-wrap"><font face="arial, sans-serif">Matthew, on behalf of the Agda Team</font></pre></pre></pre></div></div>