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

--- Comment #6 from Jens Petersen petersen@redhat.com --- (In reply to Ricky Elrod from comment #5)

If you want to package the two deps and bump this to the latest upstream version, I'll review the set.

Thank you, you're on! That would be great. :)

I posted RRs above for libffi and language-java.

I think I have idris nearly ready but I need to build it first on Rawhide to check since it requires haskeline-0.7 to build...