[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