[Agda] ANNOUNCE: Agda 2.4.2.4 release candidate

[Andrés Sicard-Ramírez]

Hi,

We would like to announce a release candidate for Agda 2.4.2.4 available at

  http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.20150913.tar.gz

This RC can be installed using the following instructions:

  $ tar xzf Agda-2.4.2.3.20150913.tar.gz
  $ cd Agda-2.4.2.3.20150913
  $ cabal install

For the time being, a version of the standard library compatible with
this RC is available via (requires Git >= 1.7.10)

  $ git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.4
--single-branch

or using previous versions of Git

  $ git clone https://github.com/agda/agda-stdlib.git
  $ cd agda-stdlib/
  $ git checkout 2.4.2.4

Important changes since Agda 2.4.2.3:

  https://github.com/agda/agda/blob/2.4.2.3.20150913/CHANGELOG

Please test as much as possible.

-- 
Andrés