<div dir="ltr">Dear all,<br><br>The Agda Team is pleased to announce the second release candidate for version 2.1 of the Agda standard library. The release candidate has been tested using Agda 2.6.4.3 and can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v2.1-rc2.zip">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">Github issues page</a>.<br><br>A couple of bugs have been fixed compared to the release candidate:<br> 1) Changes to the definition of list functions such as `filter` and `partition` have been reverted, as they sometimes resulted in new unsolved metas appearing.<br> 2) The new definitions in <a href="https://github.com/agda/agda-stdlib/pull/2429/files#diff-72dd109a2c28a9baf86137683b0f2512e9b28f4a74228b6fbcb8aa666cac5a41">Function/Relation/Binary/Setoid/Equality.agda</a> and <a href="https://github.com/agda/agda-stdlib/pull/2433/files#diff-6ac542759e4e05d241fdede6a1ec5edd65dad61f9ea5f649c9b921f373ed8a69">src/Algebra/Construct/Pointwise.agda</a> have been changed so their arguments are explicit rather than implicit.<br><br>If there are no further issues found, we plan to make the official release next week.<br><br>Best wishes,<br><br>Matthew, on behalf of the Agda Team</div>