Changelog for ghc-finite-typelits-0.1.4.2-2.9.x86_64.rpm :

* Tue Jul 17 2018 psimonsAATTsuse.com- Update finite-typelits to version 0.1.4.2. Upstream does not provide a change log file.
* Tue Jul 10 2018 psimonsAATTsuse.com- Add finite-typelits at version 0.1.3.0.