https://bugzilla.redhat.com/show_bug.cgi?id=1086273
--- Comment #19 from Jens Petersen petersen@redhat.com --- (In reply to Jens Petersen from comment #18)
There are still a few loose ends like Agda and aarch64, but I think it is basically 99% done.
ghc is built now for aarch64, and Agda building now for f23: once done I will build it also for f22.
haskell-devel@lists.fedoraproject.org