https://bugzilla.redhat.com/show_bug.cgi?id=1062194
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA
--- Comment #11 from Fedora Update System updates@fedoraproject.org --- Package alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22, haskell-platform-2014.2.0.0.2-3.fc22, git-annex-5.20140717-6.fc22, Agda-stdlib-0.9-1.fc22: * should fix your issue, * was pushed to the Fedora 22 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing alex-3.1.4-1.fc22 cabal-install-1.18.0.8-1.fc22 happy-1.19.5-1.fc22 hlint-1.9.10-1.fc22 ghc-derive-2.5.22-1.fc22 ghc-hgettext-0.1.30-7.fc22 ghc-language-ecmascript-0.15.2-6.fc22 ghc-QuickCheck-2.7.6-1.fc22 Agda-2.4.2.2-3.fc22 bustle-0.4.8-1.fc22 cpphs-1.18.9-1.fc22 idris-0.9.9.1-5.fc22 ghc-arrows-0.4.4.1-8.fc22 ghc-haskell-src-exts-1.16.0.1-1.fc22 ghc-IOSpec-0.2.5-9.fc22 ghc-language-java-0.2.7-2.fc22 ghc-Stream-0.4.7.2-1.fc22 haskell-platform-2014.2.0.0.2-3.fc22 git-annex-5.20140717-6.fc22 Agda-stdlib-0.9-1.fc22' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2015-6562/Agda-2.4.2.2-3.fc22... then log in and leave karma (feedback).