Changelog for idris-0.9.9.1-1.fc20.i686.rpm :
Sat Oct 5 14:00:00 2013 Jens Petersen - 0.9.9.1-1
- update to 0.9.9.1
- depends on ansi-terminal and time

Fri Oct 4 14:00:00 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 3 14:00:00 2013 Fedora Release Engineering - 0.9.8-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Tue Jul 9 14:00:00 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 8 14:00:00 2013 Jens Petersen - 0.9.8-2
- install idris devel data files under libdir (#947819)

Mon Jul 1 14:00:00 2013 Jens Petersen - 0.9.8-1
- update to 0.9.8
- http://idris-lang.org/archives/272

Sat Apr 6 14:00:00 2013 Jens Petersen - 0.9.7-2
- requires gcc

Wed Apr 3 14:00:00 2013 Jens Petersen - 0.9.7-1
- spec file regenerated with cabal-rpm-0.8.0

Sat Feb 25 13:00:00 2012 Jens Petersen - 0.9.1-1
- update to 0.9.1

Fri Jan 27 13:00:00 2012 Jens Petersen - 0.9.0-1
- BSD license

Fri Jan 27 13:00:00 2012 Fedora Haskell SIG
- spec file template generated by cabal2spec-0.25.4