[Bug 991929] [ARM] Agda: FTBFS in rawhide

[bugzilla at redhat.com]

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

Jens Petersen <petersen at redhat.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Agda: FTBFS in rawhide      |[ARM] Agda: FTBFS in
                   |                            |rawhide



-- 
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=KLZo8k48Ca&a=cc_unsubscribe