[Bug 1106796] idris: FTBFS in rawhide

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=1106796



--- Comment #2 from Dennis Gilmore <dennis at ausil.us> ---
Created attachment 905324
  --> https://bugzilla.redhat.com/attachment.cgi?id=905324&action=edit
root.log

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=3ZLYSbdrRP&a=cc_unsubscribe