Changelog for Agda-stdlib-0.9-1.fc22.x86_64.rpm :
Thu Apr 16 14:00:00 2015 Jens Petersen - 0.9-1
- update to 0.9
- include ffi lib in main package

Fri Aug 15 14:00:00 2014 Fedora Release Engineering - 0.7-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

Fri Jun 6 14:00:00 2014 Fedora Release Engineering - 0.7-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

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