dev-haskell/idris: fix deps