1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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
|
