Changelog for ghc-idris-devel-1.3.1-1.fc30.x86_64.rpm :

* Thu Feb 21 2019 Jens Petersen - 1.3.1-1- update to 1.3.1
* Fri Feb 01 2019 Fedora Release Engineering - 1.3.0-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Wed Oct 24 2018 Jens Petersen - 1.3.0-6- rebuild for static executable- move library html docs to subpackage
* Sat Jul 28 2018 Jens Petersen - 1.3.0-5- rebuild
* Sat Jun 30 2018 Jens Petersen - 1.3.0-4- BR python2-sphinx for sphinx-build (#1594765)- install the manual in the buildroot
* Tue Jun 26 2018 Jens Petersen - 1.3.0-3- build with libffi and gmp- build the manual with python-sphinx- noarch subpackages for manual and libs- make lib docs readable- install libidris_rts.a in libdir
* Tue Jun 26 2018 Jens Petersen - 1.3.0-2- builds on armv7hl without prof lib
* Mon Jun 25 2018 Jens Petersen - 1.3.0-1- update to 1.3.0