[Bug 991929] [ARM] Agda FTBFS
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=991929
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |POST
--- Comment #15 from Jens Petersen <petersen(a)redhat.com> ---
I managed to get it to build with -O0.
--
You are receiving this mail because:
You are on the CC list for the bug.
3 years, 2 months
[Bug 1849255] Review Request: ghc-network-bsd - Network.BSD
by bugzilla@redhat.com
https://bugzilla.redhat.com/show_bug.cgi?id=1849255
Fedora Update System <updates(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ON_QA |CLOSED
Resolution|--- |ERRATA
Last Closed| |2020-07-09 01:04:53
--- Comment #12 from Fedora Update System <updates(a)fedoraproject.org> ---
FEDORA-2020-e602d1a552 has been pushed to the Fedora 32 stable repository.
If problem still persists, please make note of it in this bug report.
--
You are receiving this mail because:
You are on the CC list for the bug.
3 years, 2 months