https://bugzilla.redhat.com/show_bug.cgi?id=1224825
--- Comment #15 from Upstream Release Monitoring
<upstream-release-monitoring(a)fedoraproject.org> ---
Patching or scratch build for Agda-2.4.2.2 failed.
--
You are receiving this mail because:
You are on the CC list for the bug.