Discussion:
[Agda] [ANNOUNCE] Agda 2.5.4.1
Andrés Sicard-Ramírez
2018-07-19 19:12:59 UTC
Permalink
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
Loading...