dev-haskell/idris: remove old versions