NixOS/nixpkgs — pull request #4537 by aycanirican (2014-10-15 07:58:00+00:00)
Title: Upgrade idris compiler to 0.9.14.3

Compiled and tested on master.