From 2b8fff10f4033b91a6df4007e4a65cb10047c89c Mon Sep 17 00:00:00 2001
From: MatthewDaggitt <matthewdaggitt@gmail.com>
Date: Mon, 11 Dec 2023 18:47:02 +0800
Subject: [PATCH] Final admin changes for v2.0 release (#2225)
* Final admin changes for v2.0 release
* Fix Agda versions
---
.github/workflows/ci-ubuntu.yml | 2 +-
CHANGELOG.md | 6 +++---
CITATION.cff | 4 ++--
LICENCE | 2 +-
doc/installation-guide.md | 2 +-
5 files changed, 8 insertions(+), 8 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..134309712c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,7 +1,7 @@
-Version 2.0-rc1
-===============
+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/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,
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.