Release notes for Agda version 2.5.4.2
======================================

Installation and infrastructure
-------------------------------

* Fixed installation with some old versions of `cabal-install`
  [Issue [#3225](https://github.com/agda/agda/issues/3225)].

* Using `cpp` instead of `cpphs` as the default preprocessor
  [Issue [#3223](https://github.com/agda/agda/issues/3223)].

* Added support for GHC 8.4.4.

Other closed issues
--------------------

For 2.5.4.2 the following issues have also been closed
(see [bug tracker](https://github.com/agda/agda/issues)):

  - [#3177](https://github.com/agda/agda/issues/3177): Slow typechecking with unsolved instance constraint
  - [#3199](https://github.com/agda/agda/issues/3199): Panics when serialising absolute paths
  - [#3312](https://github.com/agda/agda/issues/3312): Crash in Substitute.hs