NixOS/nixpkgs — pull request #4723 by mstarzyk (2014-10-29 20:04:08+00:00)
Title: haskell-idris: update to version 0.9.15.1

Done with cabal2nix