[Agda] [ANNOUNCE] Agda 2.5.4.1

[Andrés Sicard-Ramírez]

Dear all,

The Agda Team is very pleased to announce release of Agda 2.5.4.1.

In this bug-fix release, we fixed a regression in Agda 2.5.4 related
to the highlighting in the Emacs mode and we fixed a bug related to
system-wide installations. See the details in

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

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

Agda 2.5.4.1 has been tested with GHC 7.10.3, 8.0.2, 8.2.2 and 8.4.3.

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

Installation
=======

    cabal update && cabal install Agda

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

The standard library 0.16 is compatible with Agda 2.5.4.1.



Enjoy Agda 2.5.4.1.

-- 
Andrés on behalf of the Agda Team