From 039e1f4abda49f307f7ed1f5e15232a1c8e9c48c Mon Sep 17 00:00:00 2001
From: MatthewDaggitt <matthewdaggitt@gmail.com>
Date: Tue, 3 Sep 2024 10:20:14 +0800
Subject: [PATCH] Updated remaining documentation for v2.1.1 release

---
 CITATION.cff              | 2 +-
 agda-stdlib-utils.cabal   | 2 +-
 doc/README.agda           | 2 +-
 standard-library.agda-lib | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/CITATION.cff b/CITATION.cff
index dffd0bffd1..ee1df75f84 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
+version: 2.1.1
 date-released: 2024-07-27
 url: "https://github.com/agda/agda-stdlib"
\ No newline at end of file
diff --git a/agda-stdlib-utils.cabal b/agda-stdlib-utils.cabal
index d9fe1dc676..a551d1d31d 100644
--- a/agda-stdlib-utils.cabal
+++ b/agda-stdlib-utils.cabal
@@ -1,6 +1,6 @@
 cabal-version:   2.4
 name:            agda-stdlib-utils
-version:         2.1
+version:         2.1.1
 build-type:      Simple
 description:     Helper programs for setting up the Agda standard library.
 license:         MIT
diff --git a/doc/README.agda b/doc/README.agda
index 28c6e28b39..844d531899 100644
--- a/doc/README.agda
+++ b/doc/README.agda
@@ -3,7 +3,7 @@
 module README where
 
 ------------------------------------------------------------------------
--- The Agda standard library, version 2.1
+-- The Agda standard library, version 2.1.1
 --
 -- Authors: Nils Anders Danielsson, Matthew Daggitt, Guillaume Allais
 -- with contributions from Andreas Abel, Stevan Andjelkovic,
diff --git a/standard-library.agda-lib b/standard-library.agda-lib
index ba7ae571b9..5700f4438f 100644
--- a/standard-library.agda-lib
+++ b/standard-library.agda-lib
@@ -1,4 +1,4 @@
-name: standard-library-2.1
+name: standard-library-2.1.1
 include: src
 flags:
   --warning=noUnsupportedIndexedMatch