<div dir="ltr"><p style="margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Dear all,<br> The Agda Team is pleased to <span class="gmail-il">announce</span> the release of version 1.7.2 of the standard library. The release's purpose to ensure compatibility with the recently released Agda 2.6.3. The main changes are:</p><ul style="padding:0px;margin:0px 0px 10px 25px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px"><li style="box-sizing:border-box"><p dir="auto" style="box-sizing:border-box;margin-top:16px;margin-bottom:16px">In accordance with changes to the flags in Agda 2.6.3, all modules that previously used the <code style="box-sizing:border-box;font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;font-size:13.6px;padding:0.2em 0.4em;margin:0px;white-space:break-spaces;border-radius:6px">--without-K</code> flag now use the <code style="box-sizing:border-box;font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;font-size:13.6px;padding:0.2em 0.4em;margin:0px;white-space:break-spaces;border-radius:6px">--cubical-compatible</code> flag instead.</p></li><li style="box-sizing:border-box;margin-top:0.25em"><p dir="auto" style="box-sizing:border-box;margin-top:16px;margin-bottom:16px">Updated all code using <code style="box-sizing:border-box;font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;font-size:13.6px;padding:0.2em 0.4em;margin:0px;white-space:break-spaces;border-radius:6px">primFloatToWord64</code> to reflect the changes to the Agda builtin API - the library API has remained unchanged.</p></li></ul><p style="margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">The release can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v1.7.2.tar.gz" target="_blank">here</a>.<br>Best wishes,<br>Matthew, on behalf of the Agda Team</p></div>