[Nix-dev] Stumped trying to build Idris with mtl_2_2_1

Peter Simons simons at cryp.to
Tue Jan 13 15:25:49 CET 2015

Hi guys,

after commmit [1], you can install Idris by running:

  nix-env -iA haskellngPackages.idris

The option "--option extra-binary-caches http://hydra.cryp.to" might
safe some build time.

I hope this helps,

[1] https://github.com/NixOS/nixpkgs/commit/51b9c9b262a85e2658303d8706f56fa16fab04db

More information about the nix-dev mailing list