| tag name | v2.6.1.3 (8d742389865bb457370d05f163ca98c05ec68d42) |
| tag date | 2021-02-07 15:13:20 (GMT) |
| tagged by | Andrés Sicard-Ramírez <asr@eafit.edu.co> |
| tagged object | commit e5486b79cc... |
| download | agda-2.6.1.3.zip agda-2.6.1.3.tar.gz agda-2.6.1.3.tar.bz2 |
|---|
Agda 2.6.1.3 stable release