| tag name | v2.6.0.1 (093fb0dc35b3451d70ed1547ec1a08211e9d25b1) |
| tag date | 2019-05-14 00:18:22 (GMT) |
| tagged by | Andrés Sicard-Ramírez <asr@eafit.edu.co> |
| tagged object | commit 48c9d8fe35... |
| download | agda-2.6.0.1.zip agda-2.6.0.1.tar.gz agda-2.6.0.1.tar.bz2 |
|---|
Agda 2.6.0.1 stable release