https://bugzilla.redhat.com/show_bug.cgi?id=991929
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Summary|[ARM] Agda: FTBFS in |[ARM] Agda FTBFS |rawhide |