NixOS/cabal2nix — pull request #48 by bluescreen303 (2013-08-02 09:49:20+00:00)
Title: Cabal2Nix/PostProcess.hs: configure for idris 0.9.9

My first commit for cabal2nix, so please review.