[Agda-dev] [ANNOUNCE] Agda 2.4.2.5

[Andrés Sicard-Ramírez]

Dear all,

We would like to announce the release of Agda 2.4.2.5.

Agda 2.4.2.5 has been tested with GHC 7.6.3, 7.8.4 and 7.10.3.

Installation
=======

  $ cabal update && cabal install Agda

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

  http://hackage.haskell.org/package/Agda-2.4.2.5/changelog

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

The standard library version 0.11 is compatible with Agda 2.4.2.5. The
library is available at

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


All the best,


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