From 865bdffd1ebc5f3172fa456e1731a67763e264fa Mon Sep 17 00:00:00 2001
From: matthewdaggitt <matthewdaggitt@gmail.com>
Date: Mon, 11 Dec 2023 12:10:41 +0800
Subject: [PATCH 1/2] Final admin changes for v2.0 release

---
 .github/workflows/ci-ubuntu.yml | 2 +-
 CHANGELOG.md                    | 4 ++--
 CITATION.cff                    | 4 ++--
 LICENCE                         | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
index a40fe804ad..095f28b1f8 100644
--- a/.github/workflows/ci-ubuntu.yml
+++ b/.github/workflows/ci-ubuntu.yml
@@ -79,7 +79,7 @@ jobs:
             echo "AGDA_HTML_DIR=html/experimental" >> $GITHUB_ENV
           else
             # Pick Agda version for master
-            echo "AGDA_COMMIT=tags/v2.6.4" >> $GITHUB_ENV;
+            echo "AGDA_COMMIT=tags/v2.6.4.1" >> $GITHUB_ENV;
             echo "AGDA_HTML_DIR=html/master" >> $GITHUB_ENV
           fi
 
diff --git a/CHANGELOG.md b/CHANGELOG.md
index f494eee972..5acda75da2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,5 @@
-Version 2.0-rc1
-===============
+Version 2.0
+===========
 
 The library has been tested using Agda 2.6.4.
 
diff --git a/CITATION.cff b/CITATION.cff
index 416e595b98..5e965d00fa 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: 1.7.2
-date-released: 2023-02-01
+version: 2.0
+date-released: 2023-12-11
 url: "https://github.com/agda/agda-stdlib"
\ No newline at end of file
diff --git a/LICENCE b/LICENCE
index df31f24985..3a9d1c3624 100644
--- a/LICENCE
+++ b/LICENCE
@@ -1,4 +1,4 @@
-Copyright (c) 2007-2021 Nils Anders Danielsson, Ulf Norell, Shin-Cheng
+Copyright (c) 2007-2023 Nils Anders Danielsson, Ulf Norell, Shin-Cheng
 Mu, Bradley Hardy, Samuel Bronson, Dan Doel, Patrik Jansson,
 Liang-Ting Chen, Jean-Philippe Bernardy, Andrés Sicard-Ramírez,
 Nicolas Pouillard, Darin Morrison, Peter Berry, Daniel Brown,

From 1c321c1cd06ebb08c14299d20f764ad177c348c8 Mon Sep 17 00:00:00 2001
From: matthewdaggitt <matthewdaggitt@gmail.com>
Date: Mon, 11 Dec 2023 16:29:26 +0800
Subject: [PATCH 2/2] Fix Agda versions

---
 CHANGELOG.md              | 2 +-
 doc/installation-guide.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5acda75da2..134309712c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,7 +1,7 @@
 Version 2.0
 ===========
 
-The library has been tested using Agda 2.6.4.
+The library has been tested using Agda 2.6.4 and 2.6.4.1.
 
 NOTE: Version `2.0` contains various breaking changes and is not backwards
 compatible with code written with version `1.X` of the library.
diff --git a/doc/installation-guide.md b/doc/installation-guide.md
index 67d1685ad9..956fc317db 100644
--- a/doc/installation-guide.md
+++ b/doc/installation-guide.md
@@ -3,7 +3,7 @@ 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.
+Use version v2.0 of the standard library with Agda 2.6.4 or 2.6.4.1.
 
 1. Navigate to a suitable directory `$HERE` (replace appropriately) where
    you would like to install the library.