[Agda-dev] ANNOUNCE: Agda 2.4.2.5 release candidate

[Andrés Sicard-Ramírez]

Dear all,

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

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

This RC has been tested with GHC 7.6.3, 7.8.4 and 7.10.3.

Installation
=======

This RC can be installed using the following instructions:

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

Standard library
==========

Versions of the standard library compatible with this RC are:

* Version 0.11 available at

    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary

* Branches 2.4.2.5 and 2.4.2.4 available at

    https://github.com/agda/agda-stdlib

Important changes since Agda 2.4.2.4
=======================

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


We are planning to release Agda 2.4.2.5 in a week.

Please test as much as possible.

-- 
Andrés, on behalf of the Agda team