https://bugzilla.redhat.com/show_bug.cgi?id=1511680
Fedora Update System <updates(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ON_QA |CLOSED
Fixed In Version|Agda-2.5.2-8.fc28 |Agda-2.5.2-8.fc28
| |Agda-2.5.2-9.fc27
Resolution|--- |ERRATA
Last Closed| |2017-12-12 06:15:55
--- Comment #7 from Fedora Update System <updates(a)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.
--
You are receiving this mail because:
You are on the CC list for the bug.