Changelog for ghc-ieee754-devel-0.8.0-12.el8.x86_64.rpm :

* Wed Feb 07 2018 Fedora Release Engineering - 0.8.0-12- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Fri Jan 26 2018 Jens Petersen - 0.8.0-11- rebuild
* Tue Dec 26 2017 Jens Petersen - 0.8.0-10- bump release over Agda
* Wed Dec 20 2017 Fedora Haskell SIG - 0.8.0-1- spec file generated by cabal-rpm-0.12