Changelog for Agda-2.3.0.1-4.fc18.i686.rpm :
Thu Dec 6 13:00:00 2012 Jens Petersen - 2.3.0.1-4
- remove ExclusiveArch ghc_arches_with_ghci

Sat Nov 17 13:00:00 2012 Jens Petersen - 2.3.0.1-3
- rebuild

Wed Jul 18 14:00:00 2012 Fedora Release Engineering - 2.3.0.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

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