Fixed idris.
Merge pull request #4259 from MaxOw/master

Fixed broken package: idris.