Changelog for ghc-fingertree-0.1.4.2-1.4.x86_64.rpm :

* Mon Dec 10 2018 psimonsAATTsuse.com- Update fingertree to version 0.1.4.2. 0.1.4.2 Ross Paterson Dec 2018
* Fixed bug in search
* Tue Jul 10 2018 psimonsAATTsuse.com- Add fingertree at version 0.1.4.1.