diff --git a/CITATION.cff b/CITATION.cff
index 5e965d00fa..96507925e9 100644
--- a/CITATION.cff
+++ b/CITATION.cff
@@ -3,6 +3,6 @@ message: "If you use this software, please cite it as below."
 authors:
 - name: "The Agda Community"
 title: "Agda Standard Library"
-version: 2.0
-date-released: 2023-12-11
+version: 2.1
+date-released: 2024-07-17
 url: "https://github.com/agda/agda-stdlib"
\ No newline at end of file
diff --git a/doc/installation-guide.md b/doc/installation-guide.md
index 956fc317db..2abf13aa29 100644
--- a/doc/installation-guide.md
+++ b/doc/installation-guide.md
@@ -3,19 +3,19 @@ Installation instructions
 
 Note: the full story on installing Agda libraries can be found at [readthedocs](http://agda.readthedocs.io/en/latest/tools/package-system.html).
 
-Use version v2.0 of the standard library with Agda 2.6.4 or 2.6.4.1.
+Use version v2.1 of the standard library with Agda 2.6.4.X.
 
 1. Navigate to a suitable directory `$HERE` (replace appropriately) where
    you would like to install the library.
 
-2. Download the tarball of v2.0 of the standard library. This can either be
+2. Download the tarball of v2.1 of the standard library. This can either be
    done manually by visiting the Github repository for the library, or via the
    command line as follows:
    ```
-   wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v2.0.tar.gz
+   wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v2.1.tar.gz
    ```
    Note that you can replace `wget` with other popular tools such as `curl` and that
-   you can replace `2.0` with any other version of the library you desire.
+   you can replace `2.1` with any other version of the library you desire.
 
 3. Extract the standard library from the tarball. Again this can either be
    done manually or via the command line as follows:
@@ -26,7 +26,7 @@ Use version v2.0 of the standard library with Agda 2.6.4 or 2.6.4.1.
 4. [ OPTIONAL ] If using [cabal](https://www.haskell.org/cabal/) then run
    the commands to install via cabal:
    ```
-   cd agda-stdlib-2.0
+   cd agda-stdlib-2.1
    cabal install
    ```
 
@@ -40,7 +40,7 @@ Use version v2.0 of the standard library with Agda 2.6.4 or 2.6.4.1.
 6. Register the standard library with Agda's package system by adding
    the following line to `$HOME/.agda/libraries`:
    ```
-   $HERE/agda-stdlib-2.0/standard-library.agda-lib
+   $HERE/agda-stdlib-2.1/standard-library.agda-lib
    ```
 
 Now, the standard library is ready to be used either: