[Bug 1224825] Agda-2.5.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1224825 --- Comment #12 from Upstream Release Monitoring <upstream-release-monitoring(a)fedoraproject.org&gt; --- Created attachment 1148030 --> https://bugzilla.redhat.com/attachment.cgi?id=1148030&action=edit Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues. -- You are receiving this mail because: You are on the CC list for the bug.