| tag name | v2.6.1 (a317b50d5b333ad1bd25a56f4049a298996e0970) |
| tag date | 2020-03-16 05:03:57 (GMT) |
| tagged by | Andrés Sicard-Ramírez <asr@eafit.edu.co> |
| tagged object | commit 8eb0d01811... |
| download | agda-2.6.1.zip agda-2.6.1.tar.gz agda-2.6.1.tar.bz2 |
|---|
Agda 2.6.1 stable release