File tree 1 file changed +1
-1
lines changed
1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -10,6 +10,6 @@ We mirror the version numbers of [agda-stdlib](https://github.com/agda/agda-stdl
10
10
| ----------| -----------------| -------------------------|
11
11
| [ v2.6.3] ( https://github.com/agda/agda/releases/tag/v2.6.3 ) | [ v1.7.2] ( https://github.com/agda/agda-stdlib/releases/tag/v1.7.2 ) | [ v1.7.2] ( https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v1.7.2 ) |
12
12
| [ v2.6.4] ( https://github.com/agda/agda/releases/tag/v2.6.3 ) | [ v1.7.3] ( https://github.com/agda/agda-stdlib/releases/tag/v1.7.3 ) | [ v1.7.3] ( https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v1.7.3 ) |
13
- | [ v2.6.4] ( https://github.com/agda/agda/releases/tag/v2.6.3 ) | [ v2.0-rc1 ] ( https://github.com/agda/agda-stdlib/releases/tag/v2.0-rc1 ) | [ v2.0-rc1 ] ( https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v2.0-rc1 ) |
13
+ | [ v2.6.4] ( https://github.com/agda/agda/releases/tag/v2.6.3 ) | [ v2.0] ( https://github.com/agda/agda-stdlib/releases/tag/v2.0 ) | [ v2.0] ( https://github.com/omelkonian/agda-stdlib-classes/releases/tag/v2.0 ) |
14
14
15
15
Minor revisions will append to these major versions (e.g. ` v1.7.3b ` or ` v1.7.3.10 ` ).
You can’t perform that action at this time.
0 commit comments