https://bugzilla.redhat.com/show_bug.cgi?id=710031
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-06-09 21:26:52
--- Comment #15 from Fedora Update System updates@fedoraproject.org --- ghc-Agda-2.3.0.1-2.fc17 has been pushed to the Fedora 17 stable repository.
haskell-devel@lists.fedoraproject.org