[Agda] [ANNOUNCE] Agda 2.5.4.2

[Andres Sicard Ramirez]

 Dear all,

The Agda Team is very pleased to announce the release of Agda 2.5.4.2.

In this bug-fix release, we fixed a regression in Agda 2.5.4 related
to slow type-checking with unsolved instance constraint (this fix
wasn't included in the CHANGELOG by mistake, so see
https://github.com/agda/agda/issues/3177 ) and we fixed a regression
in Agda 2.5.4.1 related to the installation with some old versions of
`cabal-install`. See the details and other changes in

    https://hackage.haskell.org/package/Agda-2.5.4.2/changelog

GHC supported versions
===============

Agda 2.5.4.2 has been tested with GHC 7.10.3, 8.0.2, 8.2.2 and 8.4.4.

Note that GHC 8.4.* requires cabal-install ≥ 2.2.0.0.

Installation
=======

    cabal update && cabal install Agda

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

The standard library 0.17 is compatible with Agda 2.5.4.2.


Enjoy Agda 2.5.4.2.
-- 
Andrés on behalf of the Agda Team