Changelog for ghc-idris-1.0-10.25.x86_64.rpm :

* Thu Aug 03 2017 psimonsAATTsuse.com- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
* Tue Apr 04 2017 psimonsAATTsuse.com- Update to version 1.0 with cabal2obs.