Changelog for hoogle-5.0.12-1.1.x86_64.rpm :

* Thu May 18 2017 psimonsAATTsuse.com- Update to version 5.0.12 with cabal2obs.
* Mon Apr 24 2017 psimonsAATTsuse.com- Update to version 5.0.10 with cabal2obs.
* Sun Feb 12 2017 psimonsAATTsuse.com- Update to version 5.0.9 with cabal2obs.
* Thu Sep 15 2016 psimonsAATTsuse.com- Update to version 5.0.1 revision 1 with cabal2obs.
* Mon Jul 18 2016 psimonsAATTsuse.com- Update to version 4.2.43 revision 0 with cabal2obs.