idris-1.3.3 fails with haskeline-0.8

[juhp]

Steps to Reproduce

Try to build idris with haskeline-0.8 in ghc-8.10.

Observed Behavior

src/Idris/Output.hs:44:1: error:
    Could not find module ‘System.Console.Haskeline.MonadException’

haskeline-0.8 added a MonadFail instance for InputT.

[juhp]

Funnily in git the library now requires 0.8, so maybe I can backport the required changes to Fedora.

[juhp]

Indeed it can build with Stackage LTS 18.

Are there any plans to do a minor (or subminor) release?