Changelog for Agda-2.3.0.1-1.fc17.i686.rpm :
Tue Jul 10 14:00:00 2012 Jens Petersen - 2.3.0.1-1
- update to 2.3.0.1 and cabal2spec-0.25

Fri Jun 3 14:00:00 2011 Jens Petersen - 2.2.10-1
- MIT license
- BR ghc-Agda-devel

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