Updated remaining documentation for v2.1.1 release

agda · Sep 3, 2024 · 039e1f4 · 039e1f4
1 parent 3e5861c
commit 039e1f4
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git 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"
diff --git 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
@@ -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
@@ -1,4 +1,4 @@
-name: standard-library-2.1
+name: standard-library-2.1.1
 include: src
 flags:
   --warning=noUnsupportedIndexedMatch