Final changes for v1.7.3

Author: MatthewDaggitt

CHANGELOG.md

@@ -1,7 +1,7 @@
 Version 1.7.3
 =============
 
-The library has been tested using Agda 2.6.4.
+The library has been tested using Agda 2.6.3 & 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:

CHANGELOG/v1.7.2.md

@@ -5,5 +5,5 @@ The library has been tested using Agda 2.6.3.
 
 * 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 the code using `primFloatToWord64` - the library API has remained unchanged.

CITATION.cff

@@ -4,5 +4,5 @@ authors:
 - name: "The Agda Community"
 title: "Agda Standard Library"
 version: 1.7.3
-date-released: 2023-10-15
+date-released: 2023-10-13
 url: "https://github.com/agda/agda-stdlib"

notes/installation-guide.md

@@ -1,7 +1,7 @@
 Installation instructions
 =========================
 
-Use version v1.7.3 of the standard library with Agda 2.6.4.
+Use version v1.7.3 of the standard library with Agda 2.6.3 or 2.6.4.
 
 1. Navigate to a suitable directory `$HERE` (replace appropriately) where
    you would like to install the library.

src/Effect/Functor/Indexed.agda

@@ -5,7 +5,7 @@
 -- for forward compatibility with v2.0.
 ------------------------------------------------------------------------
 
-{-# OPTIONS --cubical-compatible --safe #-}
+{-# OPTIONS --cubical-compatible --safe --guardedness #-}
 
 module Effect.Monad.Partiality where
 

src/Effect/Monad/Partiality.agda

@@ -5,7 +5,7 @@
 -- for forward compatibility with v2.0.
 ------------------------------------------------------------------------
 
-{-# OPTIONS --cubical-compatible --safe #-}
+{-# OPTIONS --cubical-compatible --safe --guardedness #-}
 
 module Effect.Monad.Partiality.All where
 

src/Effect/Monad/Partiality/All.agda

@@ -5,7 +5,7 @@
 -- for forward compatibility with v2.0.
 ------------------------------------------------------------------------
 
-{-# OPTIONS --cubical-compatible --safe #-}
+{-# OPTIONS --cubical-compatible --safe --guardedness #-}
 
 module Effect.Monad.Partiality.Instances where