SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for ghc-Agda-devel-2.3.0.1-2.1.fc16.i686.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


 
ICM