Changelog for
ghc-Agda-devel-2.3.0.1-2.1.fc16.x86_64.rpm :
Wed Jul 11 14:00:00 2012 Jens Petersen
- 2.3.0.1-2.1
- fix agda2-version in agda2-mode.el
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