From 6cd04e46e5f8c740a5ec584a108bbb3380fa92d7 Mon Sep 17 00:00:00 2001
From: MatthewDaggitt <matthewdaggitt@gmail.com>
Date: Wed, 15 Jan 2025 09:45:27 +0800
Subject: [PATCH] Update documentation for v2.2 release

---
 CHANGELOG.md    | 2 --
 CITATION.cff    | 4 ++--
 doc/README.agda | 5 +++--
 3 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 62b67cddcd..6f723e58e4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -86,8 +86,6 @@ Deprecated names
   ```agda
   split  ↦  ↭-split
   ```
-  with a more informative type (see below).
-  ```
 
 * In `Data.List.Relation.Unary.All.Properties`:
   ```agda
diff --git a/CITATION.cff b/CITATION.cff
index d24084c327..a8c7eaca6d 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.1.1
-date-released: 2024-09-07
+version: 2.2
+date-released: 2025-01-15
 url: "https://github.com/agda/agda-stdlib"
\ No newline at end of file
diff --git a/doc/README.agda b/doc/README.agda
index 844d531899..eb7687ac37 100644
--- a/doc/README.agda
+++ b/doc/README.agda
@@ -3,7 +3,7 @@
 module README where
 
 ------------------------------------------------------------------------
--- The Agda standard library, version 2.1.1
+-- The Agda standard library, version 2.2
 --
 -- Authors: Nils Anders Danielsson, Matthew Daggitt, Guillaume Allais
 -- with contributions from Andreas Abel, Stevan Andjelkovic,
@@ -19,7 +19,8 @@ module README where
 -- and other anonymous contributors.
 ------------------------------------------------------------------------
 
--- This version of the library has been tested using Agda 2.7.0
+-- This version of the library has been tested using Agda 2.7.0 and
+-- 2.7.0.1
 
 -- The library comes with a .agda-lib file, for use with the library
 -- management system.