From 97bc55e47367c562b3032bf104f2a00b19716f88 Mon Sep 17 00:00:00 2001 From: MatthewDaggitt Date: Sat, 27 Jul 2024 12:15:32 +0800 Subject: [PATCH] Final admin changes --- CHANGELOG.md | 4 ++-- CITATION.cff | 4 ++-- doc/README.agda | 4 ++-- doc/installation-guide.md | 12 ++++++------ 4 files changed, 12 insertions(+), 12 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index bb6e91c887..631588ed6a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,5 @@ -Version 2.1-dev -=============== +Version 2.1 +=========== The library has been tested using Agda 2.6.4.3. diff --git a/CITATION.cff b/CITATION.cff index 5e965d00fa..dffd0bffd1 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.0 -date-released: 2023-12-11 +version: 2.1 +date-released: 2024-07-27 url: "https://github.com/agda/agda-stdlib" \ No newline at end of file diff --git a/doc/README.agda b/doc/README.agda index 6a9a3e398c..70490bbb5a 100644 --- a/doc/README.agda +++ b/doc/README.agda @@ -3,7 +3,7 @@ module README where ------------------------------------------------------------------------ --- The Agda standard library, version 2.0 +-- The Agda standard library, version 2.1 -- -- Authors: Nils Anders Danielsson, Matthew Daggitt, Guillaume Allais -- with contributions from Andreas Abel, Stevan Andjelkovic, @@ -19,7 +19,7 @@ module README where -- and other anonymous contributors. ------------------------------------------------------------------------ --- This version of the library has been tested using Agda 2.6.4. +-- This version of the library has been tested using Agda 2.6.4.X -- The library comes with a .agda-lib file, for use with the library -- management system. diff --git a/doc/installation-guide.md b/doc/installation-guide.md index 956fc317db..d2d7752dd9 100644 --- a/doc/installation-guide.md +++ b/doc/installation-guide.md @@ -3,19 +3,19 @@ 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 or 2.6.4.1. +Use version v2.1 of the standard library with Agda 2.6.4 or 2.6.4.3. 1. Navigate to a suitable directory `$HERE` (replace appropriately) where you would like to install the library. -2. Download the tarball of v2.0 of the standard library. This can either be +2. Download the tarball of v2.1 of the standard library. This can either be done manually by visiting the Github repository for the library, or via the command line as follows: ``` - wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v2.0.tar.gz + wget -O agda-stdlib.tar https://github.com/agda/agda-stdlib/archive/v2.1.tar.gz ``` Note that you can replace `wget` with other popular tools such as `curl` and that - you can replace `2.0` with any other version of the library you desire. + you can replace `2.1` with any other version of the library you desire. 3. Extract the standard library from the tarball. Again this can either be done manually or via the command line as follows: @@ -26,7 +26,7 @@ Use version v2.0 of the standard library with Agda 2.6.4 or 2.6.4.1. 4. [ OPTIONAL ] If using [cabal](https://www.haskell.org/cabal/) then run the commands to install via cabal: ``` - cd agda-stdlib-2.0 + cd agda-stdlib-2.1 cabal install ``` @@ -40,7 +40,7 @@ Use version v2.0 of the standard library with Agda 2.6.4 or 2.6.4.1. 6. Register the standard library with Agda's package system by adding the following line to `$HOME/.agda/libraries`: ``` - $HERE/agda-stdlib-2.0/standard-library.agda-lib + $HERE/agda-stdlib-2.1/standard-library.agda-lib ``` Now, the standard library is ready to be used either: