| tag name | v2.5.4.1 (6d95da403dfcbecfa2e943ed73bb110c758235ae) |
| tag date | 2018-07-19 14:06:54 (GMT) |
| tagged by | Andrés Sicard-Ramírez <asr@eafit.edu.co> |
| tagged object | commit 6b1d87f970... |
| download | agda-2.5.4.1.zip agda-2.5.4.1.tar.gz agda-2.5.4.1.tar.bz2 |
|---|
Agda 2.5.4.1 stable release