Final admin changes for v2.0 release (#2225)

* Final admin changes for v2.0 release

* Fix Agda versions

.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
 

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.

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"

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,

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.