Fixed broken package: idris.

For the couse, check out this thread: https://github.com/idris-lang/Idris-dev/issues/1526