Candidates for Agda
- 2.6.2.0.20211129
- 2.6.2.1
- 2.6.2.1.20220320
- 2.6.2.1.20220327
- 2.6.2.2.20221106
- 2.6.2.2.20221128
- 2.6.2.2.20230105
- 2.6.3.1
- 2.6.3.20230805
- 2.6.3.20230914
- 2.6.3.20230930
- 2.6.4
- 2.6.4.1
- 2.6.4.2
- 2.6.4.3
- 2.6.20240714
- 2.6.20240731
- 2.6.20240806
- 2.7.0
- 2.7.0.1