File tree Expand file tree Collapse file tree 1 file changed +1
-0
lines changed Expand file tree Collapse file tree 1 file changed +1
-0
lines changed Original file line number Diff line number Diff line change @@ -13,5 +13,6 @@ We mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdl
1313| [ 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 ) |
1414| [ 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 ) |
1515| [ 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 ) |
16+ | [ 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 ) |
1617
1718Minor revisions will append to these major versions (e.g. ` v2.1.1b ` or ` v2.1.1.10 ` ).
You can’t perform that action at this time.
0 commit comments