Release notes for Agda version 2.5.4.2

Installation and infrastructure

Fixed installation with some old versions of cabal-install [Issue #3225].
Using cpp instead of cpphs as the default preprocessor [Issue #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):

#3177: Slow typechecking with unsolved instance constraint
#3199: Panics when serialising absolute paths
#3312: Crash in Substitute.hs