[Agda] [ ANNOUNCE ] Standard library version 1.7.3

[Matthew Daggitt]

Dear all,
 The Agda Team is pleased to announce 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.
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:

   - Data.Star.Decoration.DecoratedWith
   - Data.Star.Pointer.Pointer
   - Reflection.AnnotatedAST.Typeₐ
   - Reflection.AnnotatedAST.AnnotationFun

If you are not using these modules, then there is no need to upgrade.

Best wishes,

Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231013/ef1e19e0/attachment.html>