https://bugzilla.redhat.com/show_bug.cgi?id=1511751
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2017-12-12 06:15:58
--- Comment #10 from Fedora Update System updates@fedoraproject.org --- Agda-2.5.2-9.fc27, ghc-gitrev-1.3.1-9.fc27 has been pushed to the Fedora 27 stable repository. If problems still persist, please make note of it in this bug report.