You can remove f31-boost and set up it for f31-ghc.
Sure. Is f31-boost supposed to be gone? I see a target for it still and buildroots are being updated for it...
Metadata Update from @kevin:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)
@kevin I've actually asked question here :) https://pagure.io/releng/issue/8500#comment-584578
to comment on this ticket.