Fedora EPEL 6 Update: ghc-Agda-2.3.0.1-9.el6