Andrés Sicard-Ramírez
2018-07-19 19:12:59 UTC
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.
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
Andrés on behalf of the Agda Team