<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.3 of the standard library. The release's purpose is to ensure compatibility with the recently released Agda 2.6.4.</p><span style="color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">To avoid large indices that are by default no longer allowed in Agda 2.6.4, universe levels have been increased in the following definitions:</span><br style="color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px"><ul><li><span style="color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Data.Star.Decoration.DecoratedWith</span></li><li><span style="color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Data.Star.Pointer.Pointer</span></li><li><span style="color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Reflection.AnnotatedAST.Typeₐ</span></li><li><span style="color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Reflection.AnnotatedAST.AnnotationFun</span></li></ul><p style="margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">If you are not using these modules, then there is no need to upgrade.</p><p style="margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Best wishes,<br></p><p style="margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Source Sans 3",sans-serif;font-size:14px">Matthew, on behalf of the Agda Team</p></div>