Changelog for Agda-2.5.4.2-lp150.1.2.x86_64.rpm :

* Mon Nov 05 2018 psimonsAATTsuse.com- Update Agda to version 2.5.4.2. 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)): - [#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
* Sun Jul 22 2018 psimonsAATTsuse.com- Update Agda to version 2.5.4.1. Release notes for Agda version 2.5.4.1 ====================================== Installation and infrastructure - ------------------------------
* Generated the interface file for the `Sigma.agda` built-in when installing Agda [Issue [#3128](https://github.com/agda/agda/issues/3128)]. Emacs mode - ---------
* Light highlighting is no longer applied continuously, but only when the file is saved [Issue [#3119](https://github.com/agda/agda/issues/3119)].
* Tue Jul 10 2018 psimonsAATTsuse.com- Add Agda at version 2.5.4.