https://bugzilla.redhat.com/show_bug.cgi?id=1224825
Fedora Update System <updates(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|MODIFIED |ON_QA
--- Comment #32 from Fedora Update System <updates(a)fedoraproject.org> ---
Agda-2.5.2-5.fc26.1, Agda-stdlib-0.13-1.fc26 has been pushed to the Fedora 26
testing repository. If problems still persist, please make note of it in this
bug report.
See
https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here:
https://bodhi.fedoraproject.org/updates/FEDORA-2017-f4c32334cc
--
You are receiving this mail because:
You are on the CC list for the bug.