Changelog for ghc-idris-1.3.1-7.1.x86_64.rpm :

* Mon Jul 09 2018 psimonsAATTsuse.com- Add idris at version 1.3.0.