tag name | v2.5.4.2.20190310 (27a6c52d98b7c35e24c211611a5349d162a0ea89) |
tag date | 2019-03-11 03:02:32 (GMT) |
tagged by | Andrés Sicard-Ramírez <asr@eafit.edu.co> |
tagged object | commit e0a2673efe... |
download | agda-2.5.4.2.20190310.zip agda-2.5.4.2.20190310.tar.gz agda-2.5.4.2.20190310.tar.bz2 |
---|
Agda 2.6.0 release candidate