From f16893d1cea98d3a53a2ab66aa66d4f52eeab63e Mon Sep 17 00:00:00 2001 From: Orestis Melkonian Date: Tue, 5 Aug 2025 17:57:59 +0300 Subject: [PATCH] README: add versions for 2.8.0 --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 203fcc1..d84b514 100644 --- a/README.md +++ b/README.md @@ -13,5 +13,6 @@ We mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdl | [v2.6.4](https://github.com/agda/agda/releases/tag/v2.6.4) | [v2.0](https://github.com/agda/agda-stdlib/releases/tag/v2.0) | [v2.0](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.0) | | [v2.7.0](https://github.com/agda/agda/releases/tag/v2.7.0) | [v2.1.1](https://github.com/agda/agda-stdlib/releases/tag/v2.1.1) | [v2.1.1](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.1.1) | | [v2.7.0.1](https://github.com/agda/agda/releases/tag/v2.7.0.1) | [v2.2](https://github.com/agda/agda-stdlib/releases/tag/v2.2) | [v2.2](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.2) | +| [v2.8.0](https://github.com/agda/agda/releases/tag/v2.8.0) | [v2.3](https://github.com/agda/agda-stdlib/releases/tag/v2.3) | [v2.3](https://github.com/agda/agda-stdlib-classes/releases/tag/v2.3) | Minor revisions will append to these major versions (e.g. `v2.1.1b` or `v2.1.1.10`).