[Agda] [ ANNOUNCE ] Standard library version 1.7.2

[Matthew Daggitt]

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

   -

   In accordance with changes to the flags in Agda 2.6.3, all modules that
   previously used the --without-K flag now use the --cubical-compatible flag
   instead.
   -

   Updated all code using primFloatToWord64 to reflect the changes to the
   Agda builtin API - the library API has remained unchanged.

The release can be downloaded here
<https://github.com/agda/agda-stdlib/archive/v1.7.2.tar.gz>.
Best wishes,
Matthew, on behalf of the Agda Team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230201/445eeef6/attachment.html>