Changelog for Agda-stdlib-0.7-3.fc20.i686.rpm :
Wed Feb 5 13:00:00 2014 Jens Petersen - 0.7-3
- no ghc-rpm-macros-extra on F19

Mon Feb 3 13:00:00 2014 Jens Petersen - 0.7-2
- only build on arch\'s where Agda builds

Tue Jun 25 14:00:00 2013 Jens Petersen - 0.7-1
- update to 0.7 with agda-lib-ffi-0.0.2
- use ghc-rpm-macros-extra
- add ffi_ver macro for agda-lib-ffi version

Thu Jul 12 14:00:00 2012 Jens Petersen - 0.6-4
- move stdlib files to datadir
- subpackage html docs

Wed Jul 11 14:00:00 2012 Jens Petersen - 0.6-3
- subpackage agda-lib-ffi for MAlonzo backend

Wed Jul 11 14:00:00 2012 Jens Petersen - 0.6-2
- fix the manifest to include the libraries
- add html
- turn off debuginfo
- remove README interface files

Wed Jul 11 14:00:00 2012 Jens Petersen - 0.6-1
- update to 0.6

Sat Jun 4 14:00:00 2011 Fedora Haskell SIG
- initial packaging for Fedora automatically generated by cabal2spec-0.23