NixOS/nixpkgs — pull request #4259 by MaxOw (2014-09-24 18:03:51+00:00)
Title: Fixed broken package: idris.

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