Changelog for idris-0.9.4.1-2.fc18.x86_64.rpm :
Thu Aug 29 14:00:00 2013 Jens Petersen - 0.9.4.1-2
- fix install of libraries: backport support for TARGET envvar to Package.hs

Tue Aug 20 14:00:00 2013 Jens Petersen - 0.9.4.1-1
- use cabal_configure_extra_options to set datadir (#947819)
- add a comment about the devel files in the main package (#947819)
- install idris devel data files under libdir (#947819)
- requires gcc
- 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