Changelog for
idris-libs-1.3.0-4.fc28.noarch.rpm :
* 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
* Thu Jul 28 2016 Jens Petersen - 0.9.9.1-8- require gmp-devel (#1360168)
* Thu Feb 04 2016 Fedora Release Engineering - 0.9.9.1-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
* Wed Jun 17 2015 Fedora Release Engineering - 0.9.9.1-6- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
* Mon Apr 06 2015 Jens Petersen - 0.9.9.1-5- rebuild
* Wed Jan 28 2015 Jens Petersen - 0.9.9.1-4- cblrpm refresh- fix build with ghc78- temporarily exclude armv7hl until RTS issues resolved (#1190261)
* Sat Aug 16 2014 Fedora Release Engineering - 0.9.9.1-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
* Sat Jun 07 2014 Fedora Release Engineering - 0.9.9.1-2- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
* Sat Oct 05 2013 Jens Petersen - 0.9.9.1-1- update to 0.9.9.1- depends on ansi-terminal and time
* Fri Oct 04 2013 Jens Petersen - 0.9.9-1- update to 0.9.9 http://www.idris-lang.org/idris-0-9-9-released/- disable LLVM backend for now- depends on vector-binary-instances- buildrequires gc-devel
* Sat Aug 03 2013 Fedora Release Engineering - 0.9.8-4- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
* Tue Jul 09 2013 Jens Petersen - 0.9.8-3- use cabal_configure_extra_options to set datadir (#947819)- add a comment about the devel files in the main package (#947819)
* Mon Jul 08 2013 Jens Petersen - 0.9.8-2- install idris devel data files under libdir (#947819)
* Mon Jul 01 2013 Jens Petersen - 0.9.8-1- update to 0.9.8- http://idris-lang.org/archives/272
* Sat Apr 06 2013 Jens Petersen - 0.9.7-2- requires gcc
* Wed Apr 03 2013 Jens Petersen - 0.9.7-1- spec file regenerated with cabal-rpm-0.8.0
* Sat Feb 25 2012 Jens Petersen - 0.9.1-1- update to 0.9.1
* Fri Jan 27 2012 Jens Petersen - 0.9.0-1- BSD license
* Fri Jan 27 2012 Fedora Haskell SIG - spec file template generated by cabal2spec-0.25.4
