[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate
Andrés Sicard-Ramírez
asr at eafit.edu.co
Tue May 19 05:56:25 CEST 2015
Hi,
We would like to announce a release candidate for Agda 2.4.2.3:
https://github.com/agda/agda/archive/2.4.2.2.20150518.tar.gz
This RC can be installed using the following instructions:
$ tar xzf 2.4.2.2.20150518.tar.gz
$ cd Agda-2.4.2.2.20150518.tar.gz
$ cabal install
Important changes since Agda 2.4.2.2:
https://github.com/agda/agda/blob/2.4.2.2.20150518/CHANGELOG
Please test as much as possible.
Best,
--
Andrés, on behalf of the Agda team
More information about the Agda
mailing list