Changelog for emacs-agda-2.3.0.1-9.fc18.i686.rpm :
Wed Dec 12 13:00:00 2012 Jens Petersen - 2.3.0.1-9
- update QuickCheck-2.5 patch following upstream 2.3.2
- for epel6 redefine newer _emacs_bytecompile
- own datadir correctly

Fri Nov 9 13:00:00 2012 Jens Petersen - 2.3.0.1-8
- build with QuickCheck 2.5

Thu Jul 19 14:00:00 2012 Fedora Release Engineering - 2.3.0.1-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

Mon Jul 16 14:00:00 2012 Jens Petersen - 2.3.0.1-6
- change prof BRs to devel

Wed Jul 11 14:00:00 2012 Jens Petersen - 2.3.0.1-5
- fix agda2-version in agda2-mode.el

Thu Jun 21 14:00:00 2012 Jens Petersen - 2.3.0.1-4
- upstream patch for building with haskell-src-exts-1.13
- use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds

Mon Jun 11 14:00:00 2012 Jens Petersen - 2.3.0.1-3
- allow building with mtl-2.1

Thu May 31 14:00:00 2012 Jens Petersen - 2.3.0.1-2
- library license is also BSD (#710031)
- move release notes to devel subpackage

Tue Apr 10 14:00:00 2012 Jens Petersen - 2.3.0.1-1
- update to 2.3.0.1 for ghc-7.4.1

Tue Feb 14 13:00:00 2012 Jens Petersen - 2.3.0-1
- update to 2.3.0
- update to cabal2spec-0.25
- new depends on hashtables

Fri Jun 3 14:00:00 2011 Jens Petersen - 2.2.10-2
- also BR alex, happy, and emacs-haskell-mode

Thu Jun 2 14:00:00 2011 Jens Petersen - 2.2.10-1
- MIT license
- add deps and description
- emacs mode subpackages

Thu Jun 2 14:00:00 2011 Fedora Haskell SIG - 2.2.10-0
- initial packaging for Fedora automatically generated by cabal2spec-0.23