Changelog for idris-libs-1.3.0-5.fc29.noarch.rpm :

* 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